Manifest Sharing with Session Types

Stephanie Balzer Frank Pfenning 2017 Manifest Sharing with Session Types Proc. ACM Program. Lang. 1 ICFP 37:1–37:29 10.1145/3110281 Stephanie Balzer Bernardo Toninho Frank Pfenning 2019 Manifest Deadlock-Freedom for Shared Session Types Luís Caires Programming Languages and Systems Lecture Notes in Computer Science Springer International Publishing

Cham

611–639 10.1007/978-3-030-17184-1_22 Michele Boreale 1998 On the Expressiveness of Internal Mobility in Name-Passing Calculi Theoretical Computer Science 195 2 205–226 10.1016/S0304-3975(97)00220-X Gérard Boudol 1992 Asynchrony and the Pi-Calculus Research Report RR-1702 INRIA Luís Caires 2014 Types and Logic, Concurrency and Non-Determinism Technical Report MSR-TR-2014-104 In Essays for the Luca Cardelli Fest

Microsoft Research

Luís Caires Jorge A. Pérez 2017 Linearity, Control Effects, and Behavioral Types Hongseok Yang Programming Languages and Systems Lecture Notes in Computer Science Springer

Berlin, Heidelberg

229–259 10.1007/978-3-662-54434-1_9 Luís Caires Frank Pfenning 2010 Session Types as Intuitionistic Linear Propositions Paul Gastin François Laroussinie CONCUR 2010 - Concurrency Theory Lecture Notes in Computer Science Springer

Berlin, Heidelberg

222–236 10.1007/978-3-642-15375-4_16 Ornela Dardha Simon J. Gay 2018 A New Linear Logic for Deadlock-Free Session-Typed Processes Christel Baier Ugo Dal Lago Foundations of Software Science and Computation Structures Lecture Notes in Computer Science Springer International Publishing 91–109 10.1007/978-3-319-89366-2_5 Ornela Dardha Jorge A. Pérez 2015 Comparing Deadlock-Free Session Typed Processes Electronic Proceedings in Theoretical Computer Science 190 1–15 10.4204/EPTCS.190.1 Henry DeYoung Luís Caires Frank Pfenning Bernardo Toninho 2012 Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication Patrick Cégielski Arnaud Durand Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL Leibniz International Proceedings in Informatics (LIPIcs) 16 Schloss DagstuhlLeibniz-Zentrum fuer Informatik

Dagstuhl, Germany

228–242 10.4230/LIPIcs.CSL.2012.228 Simon J. Gay Peter Thiemann Vasco T. Vasconcelos 2020 Duality of Session Types: The Final Cut Electronic Proceedings in Theoretical Computer Science 314 23–33 10.4204/EPTCS.314.3 Jean-Yves Girard 1987 Linear Logic Theoretical Computer Science 50 1 1–101 10.1016/0304-3975(87)90045-4 Bas van den Heuvel Jorge A. Pérez 2021 A Decentralized Analysis of Multiparty Protocols arXiv:2101.09038 [cs] Kohei Honda 1993 Types for Dyadic Interaction Eike Best CONCUR'93 Lecture Notes in Computer Science Springer

Berlin, Heidelberg

509–523 10.1007/3-540-57208-2_35 Kohei Honda Mario Tokoro 1991 An Object Calculus for Asynchronous Communication Pierre America ECOOP'91 European Conference on Object-Oriented Programming Lecture Notes in Computer Science Springer

Berlin, Heidelberg

133–147 10.1007/BFb0057019 Kohei Honda Vasco T. Vasconcelos Makoto Kubo 1998 Language Primitives and Type Discipline for Structured Communication-Based Programming Chris Hankin Programming Languages and Systems Lecture Notes in Computer Science Springer

Berlin, Heidelberg

122–138 10.1007/BFb0053567 Naoki Kobayashi 2006 A New Type System for Deadlock-Free Processes Christel Baier Holger Hermanns CONCUR 2006 Concurrency Theory Lecture Notes in Computer Science Springer Berlin Heidelberg 233–247 10.1007/11817949_16 Naoki Kobayashi Cosimo Laneve 2017 Deadlock Analysis of Unbounded Process Networks Information and Computation 252 48–70 10.1016/j.ic.2016.03.004 Robin Milner 1989 Communication and Concurrency Prentice Hall International Series in Computer Science Prentice Hall

New York, USA

Robin Milner Joachim Parrow David Walker 1992 A Calculus of Mobile Processes, I Information and Computation 100 1 1–40 10.1016/0890-5401(92)90008-4 Luca Padovani 2014 Deadlock and Lock Freedom in the Linear π-Calculus Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) CSL-LICS '14 ACM

New York, NY, USA

72:1–72:10 10.1145/2603088.2603116 Benjamin C. Pierce 2002 Types and Programming Languages MIT Press

Cambridge, Massachusetts

Klaas Pruiksma Frank Pfenning 2019 A Message-Passing Interpretation of Adjoint Logic Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) Electronic Proceedings in Theoretical Computer Science 291 Open Publishing Association 60–79 10.4204/EPTCS.291.6 Klaas Pruiksma Frank Pfenning 2021 A Message-Passing Interpretation of Adjoint Logic Journal of Logical and Algebraic Methods in Programming 120 100637 10.1016/j.jlamp.2020.100637 Bernardo Toninho Luis Caires Frank Pfenning 2014 Corecursion and Non-Divergence in Session-Typed Processes Matteo Maffei Emilio Tuosto Trustworthy Global Computing Lecture Notes in Computer Science Springer

Berlin, Heidelberg

159–175 10.1007/978-3-662-45917-1_11 Bernardo Toninho Nobuko Yoshida 2018 Interconnectability of Session-Based Logical Processes ACM Transactions on Programming Languages and Systems (TOPLAS) 40 4 17 10.1145/3242173 Vasco T. Vasconcelos 2012 Fundamentals of Session Types Information and Computation 217 52–70 10.1016/j.ic.2012.05.002 Philip Wadler 2012 Propositions As Sessions Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming ICFP '12 ACM

New York, NY, USA

273–286 10.1145/2364527.2364568