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-dev.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-dev.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} }
Published in: LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017)
Adrien Durier, Daniel Hirschkoff, and Davide Sangiorgi. Divergence and Unique Solution of Equations. In 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 85, pp. 11:1-11:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{durier_et_al:LIPIcs.CONCUR.2017.11, author = {Durier, Adrien and Hirschkoff, Daniel and Sangiorgi, Davide}, title = {{Divergence and Unique Solution of Equations}}, booktitle = {28th International Conference on Concurrency Theory (CONCUR 2017)}, pages = {11:1--11:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-048-4}, ISSN = {1868-8969}, year = {2017}, volume = {85}, editor = {Meyer, Roland and Nestmann, Uwe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.11}, URN = {urn:nbn:de:0030-drops-77849}, doi = {10.4230/LIPIcs.CONCUR.2017.11}, annote = {Keywords: Bisimilarity, unique solution of equations, termination, process calculi} }
Feedback for Dagstuhl Publishing