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