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.
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.
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.
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.
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.
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.
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.
Jean-Yves Girard (1987):
Linear Logic.
Theoretical Computer Science 50(1),
pp. 1–101,
doi:10.1016/0304-3975(87)90045-4.
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.
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.
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.
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.
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.
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.
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.
Davide Sangiorgi & David Walker (2003):
The Pi-Calculus: A Theory of Mobile Processes.
Cambridge University Press.
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.
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.