Published in: LIPIcs, Volume 229, 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
Enguerrand Prebet. Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques. In 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 229, pp. 130:1-130:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{prebet:LIPIcs.ICALP.2022.130, author = {Prebet, Enguerrand}, title = {{Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques}}, booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)}, pages = {130:1--130:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-235-8}, ISSN = {1868-8969}, year = {2022}, volume = {229}, editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.130}, URN = {urn:nbn:de:0030-drops-164715}, doi = {10.4230/LIPIcs.ICALP.2022.130}, annote = {Keywords: Call-by-value \lambda-calculus, imperative Programming, \pi-calculus, Bisimulation, Type System} }
Published in: LIPIcs, Volume 171, 31st International Conference on Concurrency Theory (CONCUR 2020)
Daniel Hirschkoff, Enguerrand Prebet, and Davide Sangiorgi. On the Representation of References in the Pi-Calculus. In 31st International Conference on Concurrency Theory (CONCUR 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 171, pp. 34:1-34:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{hirschkoff_et_al:LIPIcs.CONCUR.2020.34, author = {Hirschkoff, Daniel and Prebet, Enguerrand and Sangiorgi, Davide}, title = {{On the Representation of References in the Pi-Calculus}}, booktitle = {31st International Conference on Concurrency Theory (CONCUR 2020)}, pages = {34:1--34:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-160-3}, ISSN = {1868-8969}, year = {2020}, volume = {171}, editor = {Konnov, Igor and Kov\'{a}cs, Laura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.34}, URN = {urn:nbn:de:0030-drops-128466}, doi = {10.4230/LIPIcs.CONCUR.2020.34}, annote = {Keywords: Process calculus, Bisimulation, Asynchrony, Imperative programming} }
Feedback for Dagstuhl Publishing