@article(conf/icfp/BalzerP17,
 author       = {Stephanie Balzer and Frank Pfenning},
 year         = {2017},
 title        = {Manifest {{Sharing}} with {{Session Types}}},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {1},
 number       = {ICFP},
 pages        = {37:1--37:29},
 doi          = {10.1145/3110281},
)
@inproceedings(conf/esop/BalzerTP19,
 author       = {Stephanie Balzer and Bernardo Toninho and Frank Pfenning},
 year         = {2019},
 title        = {Manifest {{Deadlock}}-{{Freedom}} for {{Shared Session Types}}},
 editor       = {Lu{\'i}s Caires},
 booktitle    = {Programming {{Languages}} and {{Systems}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer International Publishing}},
 address      = {{Cham}},
 pages        = {611--639},
 doi          = {10.1007/978-3-030-17184-1_22},
)
@article(journal/tcs/Boreale98,
 author       = {Michele Boreale},
 year         = {1998},
 title        = {On the Expressiveness of Internal Mobility in Name-Passing Calculi},
 journal      = {Theoretical Computer Science},
 volume       = {195},
 number       = {2},
 pages        = {205--226},
 doi          = {10.1016/S0304-3975(97)00220-X},
)
@techreport(report/Boudol92,
 author       = {G{\'e}rard Boudol},
 year         = {1992},
 title        = {Asynchrony and the {{Pi}}-Calculus},
 type         = {Research {{Report}}},
 number       = {RR-1702},
 institution  = {{INRIA}},
)
@techreport(report/Caires14,
 author       = {Lu{\'i}s Caires},
 year         = {2014},
 title        = {Types and {{Logic}}, {{Concurrency}} and {{Non}}-{{Determinism}}},
 type         = {Technical Report},
 number       = {MSR-TR-2014-104},
 institution  = {{In Essays for the Luca Cardelli Fest}},
 address      = {{Microsoft Research}},
)
@inproceedings(conf/esop/CairesP17,
 author       = {Lu{\'i}s Caires and Jorge A. P{\'e}rez},
 year         = {2017},
 title        = {Linearity, {{Control Effects}}, and {{Behavioral Types}}},
 editor       = {Hongseok Yang},
 booktitle    = {Programming {{Languages}} and {{Systems}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer}},
 address      = {{Berlin, Heidelberg}},
 pages        = {229--259},
 doi          = {10.1007/978-3-662-54434-1_9},
)
@inproceedings(conf/concur/CairesP10,
 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}},
 address      = {{Berlin, Heidelberg}},
 pages        = {222--236},
 doi          = {10.1007/978-3-642-15375-4_16},
)
@inproceedings(conf/fossacs/DardhaG18,
 author       = {Ornela Dardha and Simon J. Gay},
 year         = {2018},
 title        = {A {{New Linear Logic}} for {{Deadlock}}-{{Free Session}}-{{Typed Processes}}},
 editor       = {Christel Baier and Dal Lago, Ugo},
 booktitle    = {Foundations of {{Software Science}} and {{Computation Structures}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer International Publishing}},
 pages        = {91--109},
 doi          = {10.1007/978-3-319-89366-2_5},
)
@article(conf/express/DardhaP15,
 author       = {Ornela Dardha and Jorge A. P{\'e}rez},
 year         = {2015},
 title        = {Comparing {{Deadlock}}-{{Free Session Typed Processes}}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {190},
 pages        = {1--15},
 doi          = {10.4204/EPTCS.190.1},
)
@inproceedings(conf/csl/DeYoungCPT12,
 author       = {Henry DeYoung and Lu{\'i}s Caires and Frank Pfenning and Bernardo Toninho},
 year         = {2012},
 title        = {Cut {{Reduction}} in {{Linear Logic}} as {{Asynchronous Session}}-{{Typed Communication}}},
 editor       = {Patrick C{\'e}gielski and Arnaud Durand},
 booktitle    = {Computer {{Science Logic}} ({{CSL}}'12) - 26th {{International Workshop}}/21st {{Annual Conference}} of the {{EACSL}}},
 series       = {Leibniz {{International Proceedings}} in {{Informatics}} ({{LIPIcs}})},
 volume       = {16},
 publisher    = {{Schloss Dagstuhl\textendash Leibniz-Zentrum fuer Informatik}},
 address      = {{Dagstuhl, Germany}},
 pages        = {228--242},
 doi          = {10.4230/LIPIcs.CSL.2012.228},
)
@article(conf/places/GayTV20,
 author       = {Simon J. Gay and Peter Thiemann and Vasco T. Vasconcelos},
 year         = {2020},
 title        = {Duality of {{Session Types}}: {{The Final Cut}}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {314},
 pages        = {23--33},
 doi          = {10.4204/EPTCS.314.3},
)
@article(journal/tcs/Girard87,
 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(report/vdHeuvelP21,
 author       = {Bas van den Heuvel and Jorge A. P{\'e}rez},
 year         = {2021},
 title        = {A {{Decentralized Analysis}} of {{Multiparty Protocols}}},
 journal      = {arXiv:2101.09038 [cs]},
)
@inproceedings(conf/concur/Honda93,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 editor       = {Eike Best},
 booktitle    = {{{CONCUR}}'93},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer}},
 address      = {{Berlin, Heidelberg}},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2_35},
)
@inproceedings(conf/ecoop/HondaT91,
 author       = {Kohei Honda and Mario Tokoro},
 year         = {1991},
 title        = {An Object Calculus for Asynchronous Communication},
 editor       = {Pierre America},
 booktitle    = {{{ECOOP}}'91 {{European Conference}} on {{Object}}-{{Oriented Programming}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer}},
 address      = {{Berlin, Heidelberg}},
 pages        = {133--147},
 doi          = {10.1007/BFb0057019},
)
@inproceedings(conf/esop/HondaVK98,
 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}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer}},
 address      = {{Berlin, Heidelberg}},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@inproceedings(conf/concur/Kobayashi06,
 author       = {Naoki Kobayashi},
 year         = {2006},
 title        = {A {{New Type System}} for {{Deadlock}}-{{Free Processes}}},
 editor       = {Christel Baier and Holger Hermanns},
 booktitle    = {{{CONCUR}} 2006 \textendash{} {{Concurrency Theory}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer Berlin Heidelberg}},
 pages        = {233--247},
 doi          = {10.1007/11817949_16},
)
@article(DBLP:journals/iandc/0001L17,
 author       = {Naoki Kobayashi and Cosimo Laneve},
 year         = {2017},
 title        = {Deadlock Analysis of Unbounded Process Networks},
 journal      = {Information and Computation},
 volume       = {252},
 pages        = {48--70},
 doi          = {10.1016/j.ic.2016.03.004},
)
@book(book/Milner89,
 author       = {Robin Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 series       = {Prentice {{Hall International Series}} in {{Computer Science}}},
 publisher    = {{Prentice Hall}},
 address      = {{New York, USA}},
)
@article(journal/ic/MilnerPW92,
 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},
)
@inproceedings(conf/csl/Padovani14,
 author       = {Luca Padovani},
 year         = {2014},
 title        = {Deadlock and {{Lock Freedom}} in the {{Linear}} {$\pi$}-Calculus},
 booktitle    = {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}})},
 series       = {{{CSL}}-{{LICS}} '14},
 publisher    = {{ACM}},
 address      = {{New York, NY, USA}},
 pages        = {72:1--72:10},
 doi          = {10.1145/2603088.2603116},
)
@book(book/Pierce02,
 author       = {Benjamin C. Pierce},
 year         = {2002},
 title        = {Types and {{Programming Languages}}},
 publisher    = {{MIT Press}},
 address      = {{Cambridge, Massachusetts}},
)
@inproceedings(conf/places/PruiksmaP19,
 author       = {Klaas Pruiksma and Frank Pfenning},
 year         = {2019},
 title        = {A {{Message}}-{{Passing Interpretation}} of {{Adjoint Logic}}},
 booktitle    = {Programming {{Language Approaches}} to {{Concurrency}}- and Communication-{{cEntric Software}} ({{PLACES}})},
 series       = {Electronic {{Proceedings}} in {{Theoretical Computer Science}}},
 volume       = {291},
 publisher    = {{Open Publishing Association}},
 pages        = {60--79},
 doi          = {10.4204/EPTCS.291.6},
)
@article(journal/jlamp/PruiksmaP20,
 author       = {Klaas Pruiksma and Frank Pfenning},
 year         = {2021},
 title        = {A {{Message}}-{{Passing Interpretation}} of {{Adjoint Logic}}},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {120},
 number       = {100637},
 doi          = {10.1016/j.jlamp.2020.100637},
)
@inproceedings(conf/tgc/ToninhoCP14,
 author       = {Bernardo Toninho and Luis Caires and Frank Pfenning},
 year         = {2014},
 title        = {Corecursion and {{Non}}-Divergence in {{Session}}-{{Typed Processes}}},
 editor       = {Matteo Maffei and Emilio Tuosto},
 booktitle    = {Trustworthy {{Global Computing}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer}},
 address      = {{Berlin, Heidelberg}},
 pages        = {159--175},
 doi          = {10.1007/978-3-662-45917-1_11},
)
@article(journal/toplas/ToninhoY18,
 author       = {Bernardo Toninho and Nobuko Yoshida},
 year         = {2018},
 title        = {Interconnectability of {{Session}}-{{Based Logical Processes}}},
 journal      = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume       = {40},
 number       = {4},
 pages        = {17},
 doi          = {10.1145/3242173},
)
@article(journal/ic/Vasconcelos12,
 author       = {Vasco T. Vasconcelos},
 year         = {2012},
 title        = {Fundamentals of Session Types},
 journal      = {Information and Computation},
 volume       = {217},
 pages        = {52--70},
 doi          = {10.1016/j.ic.2012.05.002},
)
@inproceedings(conf/icfp/Wadler12,
 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      = {{New York, NY, USA}},
 pages        = {273--286},
 doi          = {10.1145/2364527.2364568},
)