On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Ugo Dal Lago, Giulia Giusti

Journal title: Proceedings of CONCUR 2023, 33rd International Conference on Concurrency Theory

Journal number: 243

Journal publisher: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"

Published year: 2022

Published pages: 37:1-37:18

DOI identifier: 10.4230/lipics.concur.2022.37

ISBN: 9783959772464