References

  1. Andrew Barber & Gordon D. Plotkin (1996): Dual Intuitionistic Linear Logic. Technical Report ECS-LFCS-96-347. University of Edinburgh, School of Informatics, Laboratory for Foundations of Computer Science, Edinburgh.
  2. Luís Caires & Frank Pfenning (2010): Session Types as Intuitionistic Linear Propositions. In: Paul Gastin & François Laroussinie: CONCUR 2010 - Concurrency Theory, Lecture Notes in Computer Science. Springer Berlin Heidelberg, pp. 222–236, doi:10.1007/978-3-642-15375-4_16.
  3. Luís Caires, Frank Pfenning & Bernardo Toninho (2012): Towards Concurrent Type Theory. In: Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation. ACM, pp. 1–12, doi:10.1145/2103786.2103788.
  4. Luís Caires, Frank Pfenning & Bernardo Toninho (2016): Linear Logic Propositions as Session Types. Mathematical Structures in Computer Science 26(3), pp. 367–423, doi:10.1017/S0960129514000218.
  5. Bor-Yuh Evan Chang, Kaustuv Chaudhuri & Frank Pfenning (2003): A Judgmental Analysis of Linear Logic. Technical Report CMU-CS-03-131R. Department of Computer Science, Carnegie Mellon University, doi:10.1184/R1/6587498.v1.
  6. Cédric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget & Didier Rémy (1996): A Calculus of Mobile Agents. In: Ugo Montanari & Vladimiro Sassone: CONCUR '96: Concurrency Theory, Lecture Notes in Computer Science. Springer, Berlin, Heidelberg, pp. 406–421, doi:10.1007/3-540-61604-7_67.
  7. Cédric Fournet & Cosimo Laneve (2001): Bisimulations in the Join-Calculus. Theoretical Computer Science 266(1), pp. 569–603, doi:10.1016/S0304-3975(00)00283-8.
  8. Jean-Yves Girard (1987): Linear Logic. Theoretical Computer Science 50(1), pp. 1–101, doi:10.1016/0304-3975(87)90045-4.
  9. Jean-Yves Girard (1993): On the Unity of Logic. Annals of Pure and Applied Logic 59(3), pp. 201–217, doi:10.1016/0168-0072(93)90093-S.
  10. Kohei Honda (1993): Types for Dyadic Interaction. In: Eike Best: CONCUR'93. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 509–523, doi:10.1007/3-540-57208-2_35.
  11. Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Chris Hankin: Programming Languages and Systems. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 122–138, doi:10.1007/BFb0053567.
  12. Olivier Laurent (2018): Around Classical and Intuitionistic Linear Logics. In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '18. ACM, Oxford, United Kingdom, pp. 629–638, doi:10.1145/3209108.3209132.
  13. Massimo Merro (2000): Locality and Polyadicity in Asynchronous Name-Passing Calculi. In: Jerzy Tiuryn: Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science. Springer, Berlin, Heidelberg, pp. 238–251, doi:10.1007/3-540-46432-8_16.
  14. Massimo Merro & Davide Sangiorgi (2004): On Asynchrony in Name-Passing Calculi. Mathematical Structures in Computer Science 14(5), pp. 715–767, doi:10.1017/S0960129504004323.
  15. Robin Milner, Joachim Parrow & David Walker (1992): A Calculus of Mobile Processes, I. Information and Computation 100(1), pp. 1–40, doi:10.1016/0890-5401(92)90008-4.
  16. Davide Sangiorgi & David Walker (2003): The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press.
  17. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-Based Language and Its Typing System. In: Costas Halatsis, Dimitrios Maritsas, George Philokyprou & Sergios Theodoridis: PARLE'94 Parallel Architectures and Languages Europe. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 398–413, doi:10.1007/3-540-58184-7_118.
  18. Philip Wadler (2012): Propositions As Sessions. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, ICFP '12. ACM, Copenhagen, Denmark, pp. 273–286, doi:10.1145/2364527.2364568.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org