@article(Abadi2018,
 author       = {Mart{\'\i}n Abadi and Bruno Blanchet and C{\'{e}}dric Fournet},
 year         = {2018},
 title        = {The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication},
 journal      = {J.\ ACM},
 volume       = {65},
 number       = {1},
 pages        = {1:1--1:41},
 doi          = {10.1145/3127586},
)
@article(Abadi1999,
 author       = {Mart{\'\i}n Abadi and Andrew D. Gordon},
 year         = {1999},
 title        = {A Calculus for Cryptographic Protocols: The spi Calculus},
 journal      = {Inf.\ Comput.},
 volume       = {148},
 number       = {1},
 pages        = {1--70},
 doi          = {10.1006/inco.1998.2740},
)
@inproceedings(Abate2019,
 author       = {Carmine Abate and Roberto Blanco and Deepak Garg and Catalin Hritcu and Marco Patrignani and J{\'{e}}r{\'{e}}my Thibault},
 year         = {2019},
 title        = {Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation},
 booktitle    = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken, NJ, USA, June 25-28, 2019},
 publisher    = {{IEEE}},
 pages        = {256--271},
 doi          = {10.1109/CSF.2019.00025},
)
@inproceedings(Accattoli2013,
 author       = {Beniamino Accattoli},
 year         = {2013},
 title        = {Evaluating functions as processes},
 editor       = {Rachid Echahed and Detlef Plump},
 booktitle    = {TERMGRAPH 2013},
 series       = {{EPTCS}},
 volume       = {110},
 pages        = {41--55},
 doi          = {10.4204/EPTCS.110.6},
)
@inproceedings(Accattoli2019,
 author       = {Beniamino Accattoli},
 year         = {2019},
 title        = {A Fresh Look at the lambda-Calculus (Invited Talk)},
 editor       = {Herman Geuvers},
 booktitle    = {CSL},
 series       = {LIPIcs},
 volume       = {131},
 publisher    = {Schloss Dagstuhl},
 pages        = {1:1--1:20},
 doi          = {10.4230/LIPIcs.FSCD.2019.1},
)
@inproceedings(Accattoli2014a,
 author       = {Beniamino Accattoli and Dal Lago, Ugo},
 year         = {2014},
 title        = {Beta reduction is invariant, indeed},
 editor       = {Thomas A. Henzinger and Dale Miller},
 booktitle    = {CSL},
 publisher    = {ACM},
 pages        = {8},
 doi          = {10.1145/2603088.2603105},
)
@inproceedings(Accattoli2012b,
 author       = {Beniamino Accattoli and Ugo Dal Lago},
 year         = {2012},
 title        = {On the Invariance of the Unitary Cost Model for Head Reduction},
 editor       = {Ashish Tiwari},
 booktitle    = {23rd International Conference on Rewriting Techniques and Applications (RTA'12), {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
 series       = {LIPIcs},
 volume       = {15},
 publisher    = {Schloss Dagstuhl},
 pages        = {22--37},
 doi          = {10.4230/LIPIcs.RTA.2012.22},
)
@techreport(Amadio2016,
 author       = {Roberto M. Amadio},
 year         = {2016},
 title        = {Operational methods in semantics},
 type         = {Lecture notes},
 institution  = {Universit\IeC{\'e} Denis Diderot Paris 7},
 url          = {https://hal.archives-ouvertes.fr/cel-01422101},
)
@inproceedings(Aubert2020b,
 author       = {Cl\IeC{\'e}ment Aubert and Ioana Cristescu},
 year         = {2020},
 title        = {How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation},
 editor       = {Igor Konnov and Laura Kov\'{a}cs},
 booktitle    = {CONCUR},
 series       = {LIPIcs},
 volume       = {2017},
 publisher    = {Schloss Dagstuhl},
 pages        = {13:1--13:24},
 doi          = {10.4230/LIPIcs.CONCUR.2020.13},
)
@inproceedings(Aubert2021d,
 author       = {Cl\IeC{\'e}ment Aubert and Medi\IeC{\'c}, Doriana},
 year         = {2021},
 title        = {Explicit Identifiers and Contexts in Reversible Concurrent Calculus},
 editor       = {Shigeru Yamashita and Tetsuo Yokoyama},
 booktitle    = {Reversible Computation - 13th International Conference, {RC} 2021, Virtual Event, July 7-8, 2021, Proceedings},
 series       = {LNCS},
 volume       = {12805},
 publisher    = {Springer},
 pages        = {144--162},
 doi          = {10.1007/978-3-030-79837-6\_9},
)
@article(Babel2020,
 author       = {Kushal Babel and Vincent Cheval and Steve Kremer},
 year         = {2020},
 title        = {On the semantics of communications when verifying equivalence properties},
 journal      = {Journal of Computer Security},
 volume       = {28},
 pages        = {71--127},
 doi          = {10.3233/JCS-191366},
 note         = {1},
)
@phdthesis(Baelde2021,
 author       = {David Baelde},
 year         = {2021},
 title        = {Contributions \IeC{\`a} la V\IeC{\'e}rification des Protocoles Cryptographiques},
 type         = {Habilitation \IeC{\`a} diriger des recherches},
 school       = {{Universit\IeC{\'e} Paris-Saclay}},
 url          = {http://www.lsv.fr/~baelde/hdr/habilitation_baelde.pdf},
)
@book(Barendregt1984,
 author       = {Hendrik Pieter Barendregt},
 year         = {1984},
 title        = {The Lambda Calculus \IeC{\textendash} Its Syntax and Semantics},
 series       = {Studies in Logic and the Foundations of Mathematics},
 volume       = {103},
 publisher    = {North-Holland},
 doi          = {10.1016/B978-0-444-87508-2.50006-X},
)
@inproceedings(Beffara2012,
 author       = {Emmanuel Beffara and Virgile Mogbil},
 year         = {2012},
 title        = {Proofs as executions},
 editor       = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer},
 booktitle    = {IFIP TCS},
 series       = {LNCS},
 volume       = {7604},
 publisher    = {Springer},
 pages        = {280--294},
 doi          = {10.1007/978-3-642-33475-7_20},
)
@book(Bergstra2001,
 editor       = {Jan A. Bergstra and Alban Ponse and Scott A. Smolka},
 year         = {2001},
 title        = {Handbook of Process Algebra},
 publisher    = {Elsevier Science},
 address      = {Amsterdam},
 doi          = {10.1016/B978-044482830-9/50017-5},
)
@article(Blanchet2016,
 author       = {Bruno Blanchet},
 year         = {2016},
 title        = {Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif},
 journal      = {Foundations and Trends in Privacy and Security},
 volume       = {1},
 number       = {1-2},
 pages        = {1--135},
 doi          = {10.1561/3300000004},
)
@misc(Bodini2021,
 author       = {Olivier Bodini},
 year         = {2021},
 howpublished = {Personal communication},
)
@phdthesis(Mirna2002,
 author       = {Mirna Bognar},
 year         = {2002},
 title        = {Contexts in Lambda Calculus},
 school       = {Vrije Universiteit Amsterdam},
 url          = {https://www.cs.vu.nl/en/Images/bognar_thesis_tcm210- 92584.pdf},
)
@article(Bognar2001,
 author       = {Mirna Bognar and Roel C. de Vrijer},
 year         = {2001},
 title        = {A Calculus of Lambda Calculus Contexts},
 journal      = {J.\ Autom.\ Reasoning},
 volume       = {27},
 number       = {1},
 pages        = {29--59},
 doi          = {10.1023/A:1010654904735},
)
@article(Boreale1995,
 author       = {Michele Boreale and Rocco De Nicola},
 year         = {1995},
 title        = {Testing Equivalence for Mobile Processes},
 journal      = {Inf.\ Comput.},
 volume       = {120},
 number       = {2},
 pages        = {279--303},
 doi          = {10.1006/inco.1995.1114},
)
@phdthesis(Breuvart2015,
 author       = {Flavien Breuvart},
 year         = {2015},
 title        = {Dissecting denotational semantics},
 school       = {Universit\IeC{\'e} Paris Diderot \IeC{\textemdash} Paris VII},
 url          = {https://www.lipn.univ-paris13.fr/~breuvart/ These_breuvart.pdf},
)
@inproceedings(bucciarelli2011,
 author       = {Antonio Bucciarelli and Alberto Carraro and Thomas Ehrhard and Giulio Manzonetto},
 year         = {2011},
 title        = {{Full Abstraction for Resource Calculus with Tests}},
 editor       = {Marc Bezem},
 booktitle    = {CSL},
 series       = {LIPIcs},
 volume       = {12},
 publisher    = {Schloss Dagstuhl},
 address      = {Dagstuhl, Germany},
 pages        = {97--111},
 doi          = {10.4230/LIPIcs.CSL.2011.97},
)
@article(Caires2016,
 author       = {Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho},
 year         = {2016},
 title        = {Linear logic propositions as session types},
 journal      = {MSCS},
 volume       = {26},
 number       = {3},
 pages        = {367--423},
 doi          = {10.1017/S0960129514000218},
)
@inproceedings(Danos2004,
 author       = {Vincent Danos and Jean Krivine},
 year         = {2004},
 title        = {Reversible Communicating Systems},
 editor       = {Philippa Gardner and Nobuko Yoshida},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {3170},
 publisher    = {Springer},
 pages        = {292--307},
 doi          = {10.1007/978-3-540-28644-8_19},
)
@article(Nicola1984,
 author       = {{De Nicola}, Rocco and Matthew Hennessy},
 year         = {1984},
 title        = {Testing Equivalences for Processes},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {34},
 pages        = {83--133},
 doi          = {10.1016/0304-3975(84)90113-0},
)
@inproceedings(Nicola1990,
 author       = {{De Nicola}, Rocco and Ugo Montanari and Frits W. Vaandrager},
 year         = {1990},
 title        = {Back and Forth Bisimulations},
 editor       = {Jos C. M. Baeten and Jan Willem Klop},
 booktitle    = {{CONCUR} '90},
 series       = {LNCS},
 volume       = {458},
 publisher    = {Springer},
 pages        = {152--165},
 doi          = {10.1007/BFb0039058},
)
@article(Dijkstra1968,
 author       = {Edsger W. Dijkstra},
 year         = {1968},
 title        = {Letters to the editor: go to statement considered harmful},
 journal      = {Commun.\ ACM},
 volume       = {11},
 number       = {3},
 pages        = {147--148},
 doi          = {10.1145/362929.362947},
)
@inproceedings(Engberg2000,
 author       = {Uffe Engberg and Mogens Nielsen},
 year         = {2000},
 title        = {A calculus of communicating systems with label passing - ten years after},
 editor       = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
 booktitle    = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
 publisher    = {The {MIT} Press},
 pages        = {599--622},
)
@inproceedings(Faggian2019,
 author       = {Claudia Faggian and Simona Ronchi Della Rocca},
 year         = {2019},
 title        = {Lambda Calculus and Probabilistic Computation},
 booktitle    = {LICS},
 publisher    = {{IEEE}},
 pages        = {1--13},
 doi          = {10.1109/LICS.2019.8785699},
)
@article(Fournet2005,
 author       = {C{\'{e}}dric Fournet and Georges Gonthier},
 year         = {2005},
 title        = {A hierarchy of equivalences for asynchronous calculi},
 journal      = {J.\ Log.\ Algebr.\ Methods Program.},
 volume       = {63},
 number       = {1},
 pages        = {131--173},
 doi          = {10.1016/j.jlap.2004.01.006},
)
@inproceedings(Fowler2017,
 author       = {Simon Fowler and Sam Lindley and Philip Wadler},
 year         = {2017},
 title        = {Mixing Metaphors: Actors as Channels and Channels as Actors},
 editor       = {Peter M{\"{u}}ller},
 booktitle    = {{ECOOP} 2017},
 series       = {LIPIcs},
 volume       = {74},
 publisher    = {Schloss Dagstuhl},
 pages        = {11:1--11:28},
 doi          = {10.4230/LIPIcs.ECOOP.2017.11},
)
@article(FuY2003a,
 author       = {Yuxi Fu and Zhenrong Yang},
 year         = {2003},
 title        = {Tau laws for pi calculus},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {308},
 number       = {1-3},
 pages        = {55--130},
 doi          = {10.1016/S0304-3975(03)00202-0},
)
@inproceedings(Glabbeek1993,
 author       = {Robert J. van Glabbeek},
 year         = {1993},
 title        = {The Linear Time - Branching Time Spectrum {II}},
 editor       = {Eike Best},
 booktitle    = {{CONCUR} '93},
 series       = {LNCS},
 volume       = {715},
 publisher    = {Springer},
 pages        = {66--81},
 doi          = {10.1007/3-540-57208-2_6},
)
@article(Gordon2003,
 author       = {Andrew D. Gordon and Luca Cardelli},
 year         = {2003},
 title        = {Equational Properties Of Mobile Ambients},
 journal      = {MSCS},
 volume       = {13},
 number       = {3},
 pages        = {371--408},
 doi          = {10.1017/S0960129502003742},
)
@article(Hashimoto2001,
 author       = {Masatomo Hashimoto and Atsushi Ohori},
 year         = {2001},
 title        = {A typed context calculus},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {266},
 number       = {1-2},
 pages        = {249--272},
 doi          = {10.1016/S0304-3975(00)00174-2},
)
@book(Hennessy2007,
 author       = {Matthew Hennessy},
 year         = {2007},
 title        = {A distributed Pi-calculus},
 publisher    = {CUP},
 doi          = {10.1017/CBO9780511611063},
)
@inproceedings(denHeuvel2020,
 author       = {Bas van den Heuvel and Jorge A. P{\'{e}}rez},
 year         = {2020},
 title        = {Session Type Systems based on Linear Logic: Classical versus Intuitionistic},
 editor       = {Stephanie Balzer and Luca Padovani},
 booktitle    = {PLACES@ETAPS 2020},
 series       = {{EPTCS}},
 volume       = {314},
 pages        = {1--11},
 doi          = {10.4204/EPTCS.314.1},
)
@inproceedings(Hewitt1973,
 author       = {Carl Hewitt and Peter Boehler Bishop and Irene Greif and Brian Cantwell Smith and Todd Matson and Richard Steiger},
 year         = {1973},
 title        = {Actor Induction and Meta-Evaluation},
 editor       = {Patrick C. Fischer and Jeffrey D. Ullman},
 booktitle    = {POPL},
 publisher    = {{ACM} Press},
 pages        = {153--168},
 doi          = {10.1145/512927.512942},
)
@inproceedings(hirschkoff2020,
 author       = {Daniel Hirschkoff and Enguerrand Prebet and Davide Sangiorgi},
 year         = {2020},
 title        = {{On the Representation of References in the Pi-Calculus}},
 editor       = {Igor Konnov and Laura Kov\'{a}cs},
 booktitle    = {CONCUR},
 series       = {LIPIcs},
 volume       = {2017},
 publisher    = {Schloss Dagstuhl},
 pages        = {34:1--34:20},
 doi          = {10.4230/LIPIcs.CONCUR.2020.34},
)
@article(Honda1995,
 author       = {Kohei Honda and Nobuko Yoshida},
 year         = {1995},
 title        = {On Reduction-Based Process Semantics},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {151},
 number       = {2},
 pages        = {437--486},
 doi          = {10.1016/0304-3975(95)00074-7},
)
@article(Horita1997,
 author       = {Eiichi Horita and Ken Mano},
 year         = {1997},
 title        = {A Metric Semantics for the $\pi$-Calculus Extended with External Events},
 journal      = {K\IeC{\^o}ky\IeC{\^u}roku},
 volume       = {996},
 pages        = {67--81},
 url          = {http://hdl.handle.net/2433/61239},
)
@inproceedings(Horne2018,
 author       = {Ross Horne and Ki Yung Ahn and Shang{-}Wei Lin and Alwen Tiu},
 year         = {2018},
 title        = {Quasi-Open Bisimilarity with Mismatch is Intuitionistic},
 editor       = {Anuj Dawar and Erich Gr{\"{a}}del},
 booktitle    = {LICS},
 publisher    = {ACM},
 pages        = {26--35},
 doi          = {10.1145/3209108.3209125},
)
@article(Igarashi2001,
 author       = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
 year         = {2001},
 title        = {Featherweight Java: A Minimal Core Calculus for Java and GJ},
 journal      = {ACM Trans.\ Program.\ Lang.\ Syst.},
 volume       = {23},
 number       = {3},
 pages        = {396\IeC{\textendash}450},
 doi          = {10.1145/503502.503505},
)
@inproceedings(Laird2005,
 author       = {Jim Laird},
 year         = {2005},
 title        = {A Game Semantics of the Asynchronous $\pi$-Calculus},
 editor       = {Mart{\'\i}n Abadi and Luca de Alfaro},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {3653},
 publisher    = {Springer},
 pages        = {51--65},
 doi          = {10.1007/11539452_8},
)
@inproceedings(Lanese2013,
 author       = {Ivan Lanese and Michael Lienhardt and Claudio Antares Mezzina and Alan Schmitt and Jean{-}Bernard Stefani},
 year         = {2013},
 title        = {Concurrent Flexible Reversibility},
 editor       = {Matthias Felleisen and Philippa Gardner},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {7792},
 publisher    = {Springer},
 pages        = {370--390},
 doi          = {10.1007/978-3-642-37036-6_21},
)
@article(Lanese2019,
 author       = {Ivan Lanese and Medi\IeC{\'c}, Doriana and Claudio Antares Mezzina},
 year         = {2019},
 title        = {Static versus dynamic reversibility in {CCS}},
 journal      = {Acta Inform.},
 doi          = {10.1007/s00236-019-00346-6},
)
@inproceedings(Lanese2021,
 author       = {Ivan Lanese and Iain Phillips},
 year         = {2021},
 title        = {Forward-Reverse Observational Equivalences in {CCSK}},
 editor       = {Shigeru Yamashita and Tetsuo Yokoyama},
 booktitle    = {Reversible Computation - 13th International Conference, {RC} 2021, Virtual Event, July 7-8, 2021, Proceedings},
 series       = {LNCS},
 volume       = {12805},
 publisher    = {Springer},
 pages        = {126--143},
 doi          = {10.1007/978-3-030-79837-6\_8},
)
@inproceedings(Lanese2010a,
 author       = {Ivan Lanese and C{\'{a}}tia Vaz and Carla Ferreira},
 year         = {2010},
 title        = {On the Expressive Power of Primitives for Compensation Handling},
 editor       = {Andrew D. Gordon},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {6012},
 publisher    = {Springer},
 pages        = {366--386},
 doi          = {10.1007/978-3-642-11957-6\_20},
)
@article(Larsen1991,
 author       = {Kim Guldstrand Larsen and Arne Skou},
 year         = {1991},
 title        = {Bisimulation through Probabilistic Testing},
 journal      = {Inf.\ Comput.},
 volume       = {94},
 number       = {1},
 pages        = {1--28},
 doi          = {10.1016/0890-5401(91)90030-6},
)
@phdthesis(Madiot2015,
 author       = {Jean-Marie Madiot},
 year         = {2015},
 title        = {Higher-order languages: dualities and bisimulation enhancements},
 school       = {\IeC{\'E}cole Normale Sup\IeC{\'e}rieure de Lyon, Universit\IeC{\`a} di Bologna},
 url          = {https://hal.archives-ouvertes.fr/tel-01141067},
)
@inproceedings(Merro1998,
 author       = {Massimo Merro},
 year         = {1998},
 title        = {On the Expressiveness of Chi, Update, and Fusion calculi},
 editor       = {Ilaria Castellani and Catuscia Palamidessi},
 booktitle    = {EXPRESS},
 series       = {Electron.\ Notes Theor.\ Comput.\ Sci.},
 volume       = {16},
 publisher    = {Elsevier},
 pages        = {133--144},
 doi          = {10.1016/S1571-0661(04)00122-7},
)
@article(Zappa2005,
 author       = {Massimo Merro and Zappa Nardelli, Francesco},
 year         = {2005},
 title        = {Behavioral theory for mobile ambients},
 journal      = {J.\ ACM},
 volume       = {52},
 number       = {6},
 pages        = {961--1023},
 doi          = {10.1145/1101821.1101825},
)
@article(Milner1977,
 author       = {Robin Milner},
 year         = {1977},
 title        = {Fully abstract models of typed $\lambda$-calculi},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {4},
 number       = {1},
 pages        = {1--22},
 doi          = {10.1016/0304-3975(77)90053-6},
)
@book(Milner1980,
 author       = {Robin Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 series       = {LNCS},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/3-540-10235-3},
)
@inproceedings(Milner1981,
 author       = {Robin Milner},
 year         = {1981},
 title        = {A Modal Characterisation of Observable Machine-Behaviour},
 editor       = {Egidio Astesiano and Corrado B{\"{o}}hm},
 booktitle    = {{CAAP} '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings},
 series       = {LNCS},
 volume       = {112},
 publisher    = {Springer},
 pages        = {25--34},
 doi          = {10.1007/3-540-10828-9_52},
)
@techreport(Milner1986,
 author       = {Robin Milner},
 year         = {1986},
 title        = {A Calculus of Communicating Systems},
 type         = {LFCS Report Series},
 number       = {ECS-LFCS-86-7},
 institution  = {The University of Edinburgh},
 url          = {http://www.lfcs.inf.ed.ac.uk/reports/86/ECS-LFCS-86-7/},
)
@book(Milner1989,
 author       = {Robin Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 series       = {{PHI} Series in computer science},
 publisher    = {Prentice-Hall},
)
@article(Milner1993,
 author       = {Robin Milner},
 year         = {1993},
 title        = {Elements of Interaction: Turing Award Lecture},
 journal      = {Commun.\ ACM},
 volume       = {36},
 number       = {1},
 pages        = {78\IeC{\textendash}89},
 doi          = {10.1145/151233.151240},
)
@article(Milner1992a,
 author       = {Robin Milner and Joachim Parrow and David Walker},
 year         = {1992},
 title        = {A Calculus of Mobile Processes, {I}},
 journal      = {Inf.\ Comput.},
 volume       = {100},
 number       = {1},
 pages        = {1--40},
 doi          = {10.1016/0890-5401(92)90008-4},
)
@article(Milner1992b,
 author       = {Robin Milner and Joachim Parrow and David Walker},
 year         = {1992},
 title        = {A Calculus of Mobile Processes, {II}},
 journal      = {Inf.\ Comput.},
 volume       = {100},
 number       = {1},
 pages        = {41--77},
 doi          = {10.1016/0890-5401(92)90009-5},
)
@inproceedings(Milner1992,
 author       = {Robin Milner and Davide Sangiorgi},
 year         = {1992},
 title        = {Barbed Bisimulation},
 editor       = {Werner Kuich},
 booktitle    = {ICALP},
 series       = {LNCS},
 volume       = {623},
 publisher    = {Springer},
 pages        = {685--695},
 doi          = {10.1007/3-540-55719-9_114},
)
@article(Montanari1992,
 author       = {Ugo Montanari and Vladimiro Sassone},
 year         = {1992},
 title        = {Dynamic congruence vs. progressing bisimulation for {CCS}},
 journal      = {Fund.\ Inform.},
 volume       = {16},
 number       = {1},
 pages        = {171--199},
 doi          = {10.3233/FI-1992-16206},
)
@article(Nanevski2008,
 author       = {Aleksandar Nanevski and Frank Pfenning and Brigitte Pientka},
 year         = {2008},
 title        = {Contextual Modal Type Theory},
 journal      = {ACM Trans.\ Comput.\ Log.},
 volume       = {9},
 number       = {3},
 doi          = {10.1145/1352582.1352591},
)
@inproceedings(Nielsen1994,
 author       = {Mogens Nielsen and Christian Clausen},
 year         = {1994},
 title        = {Bisimulation for Models in Concurrency},
 editor       = {Bengt Jonsson and Joachim Parrow},
 booktitle    = {{CONCUR} '94},
 series       = {LNCS},
 volume       = {836},
 publisher    = {Springer},
 pages        = {385--400},
 doi          = {10.1007/BFb0015021},
)
@inproceedings(Nielsen1988,
 author       = {Mogens Nielsen and Uffe Engberg and Kim S. Larsen},
 year         = {1989},
 title        = {Fully abstract models for a process language with refinement},
 editor       = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
 booktitle    = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings},
 series       = {LNCS},
 volume       = {354},
 publisher    = {Springer},
 pages        = {523--548},
 doi          = {10.1007/BFb0013034},
)
@book(Leuck2013,
 author       = {Patrick Niemeyer and Daniel Leuck},
 year         = {2013},
 title        = {Learning Java},
 edition      = {4th},
 publisher    = {O'Reilly Media, Incorporated},
)
@article(Palamidessi2005,
 author       = {Catuscia Palamidessi and Frank D. Valencia},
 year         = {2005},
 title        = {Recursion vs Replication in Process Calculi: Expressiveness},
 journal      = {Bull.\ EATCS},
 volume       = {87},
 pages        = {105--125},
 url          = {http://eatcs.org/images/bulletin/beatcs87.pdf},
)
@incollection(Parrow2001,
 author       = {Joachim Parrow},
 year         = {2001},
 title        = {An Introduction to the {$\pi$}-Calculus},
 editor       = {Jan A. Bergstra and Alban Ponse and Scott A. Smolka},
 booktitle    = {Handbook of Process Algebra},
 publisher    = {North-Holland / Elsevier},
 pages        = {479--543},
 doi          = {10.1016/b978-044482830-9/50026-6},
)
@inproceedings(Parrow1993,
 author       = {Joachim Parrow and Davide Sangiorgi},
 year         = {1993},
 title        = {Algebraic Theories for Name-Passing Calculi},
 editor       = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
 booktitle    = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
 series       = {LNCS},
 volume       = {803},
 publisher    = {Springer},
 pages        = {509--529},
 doi          = {10.1007/3-540-58043-3_27},
)
@inproceedings(Phillips2006,
 author       = {Iain Phillips and Irek Ulidowski},
 year         = {2006},
 title        = {Reversing Algebraic Process Calculi},
 editor       = {Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir},
 booktitle    = {FoSSaCS},
 series       = {LNCS},
 volume       = {3921},
 publisher    = {Springer},
 pages        = {246--260},
 doi          = {10.1007/11690634_17},
)
@article(Phillips2007,
 author       = {Iain Phillips and Irek Ulidowski},
 year         = {2007},
 title        = {Reversibility and Models for Concurrency},
 journal      = {Electron.\ Notes Theor.\ Comput.\ Sci.},
 volume       = {192},
 number       = {1},
 pages        = {93--108},
 doi          = {10.1016/j.entcs.2007.08.018},
)
@article(Pierce1996,
 author       = {Benjamin C. Pierce and Davide Sangiorgi},
 year         = {1996},
 title        = {Typing and Subtyping for Mobile Processes},
 journal      = {MSCS},
 volume       = {6},
 number       = {5},
 pages        = {409--453},
 doi          = {10.1017/S096012950007002X},
)
@article(Sangiorgi1996,
 author       = {Davide Sangiorgi},
 year         = {1996},
 title        = {A Theory of Bisimulation for the pi-Calculus},
 journal      = {Acta Inform.},
 volume       = {33},
 number       = {1},
 pages        = {69--97},
 doi          = {10.1007/s002360050036},
)
@article(Sangiorgi1999,
 author       = {Davide Sangiorgi},
 year         = {1999},
 title        = {The Name Discipline of Uniform Receptiveness},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {221},
 number       = {1-2},
 pages        = {457--493},
 doi          = {10.1016/S0304-3975(99)00040-7},
)
@book(Sangiorgi2001b,
 author       = {Davide Sangiorgi},
 year         = {2011},
 title        = {Introduction to Bisimulation and Coinduction},
 publisher    = {CUP},
 doi          = {10.1017/CBO9780511777110},
)
@incollection(Sangiorgi2011a,
 author       = {Davide Sangiorgi},
 year         = {2011},
 title        = {Pi-Calculus},
 editor       = {David A. Padua},
 booktitle    = {Encyclopedia of Parallel Computing},
 publisher    = {Springer},
 pages        = {1554--1562},
 doi          = {10.1007/978-0-387-09766-4_202},
)
@book(sangiorgi2011,
 editor       = {Davide Sangiorgi and Jan Rutten},
 year         = {2011},
 title        = {Advanced Topics in Bisimulation and Coinduction},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511792588},
)
@inproceedings(Sangiorgi2001c,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {On Barbed Equivalences in pi-Calculus},
 editor       = {Kim Guldstrand Larsen and Mogens Nielsen},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {2154},
 publisher    = {Springer},
 pages        = {292--304},
 doi          = {10.1007/3-540-44685-0_20},
)
@book(Sangiorgi2001,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {The Pi-calculus},
 publisher    = {CUP},
)
@article(Sassone1996,
 author       = {Vladimiro Sassone and Mogens Nielsen and Glynn Winskel},
 year         = {1996},
 title        = {Models for Concurrency: Towards a Classification},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {170},
 number       = {1-2},
 pages        = {297--348},
 doi          = {10.1016/S0304-3975(96)80710-9},
)
@incollection(selinger2009,
 author       = {Peter Selinger and Beno\IeC{\^\i}t Valiron},
 year         = {2009},
 title        = {Quantum Lambda Calculus},
 editor       = {Simon Gay and Ian Mackie},
 booktitle    = {Semantic Techniques in Quantum Computation},
 publisher    = {Cambridge University Press},
 pages        = {135\IeC{\textendash}172},
 doi          = {10.1017/CBO9781139193313.005},
)
@inproceedings(Stirling1995,
 author       = {Colin Stirling},
 year         = {1995},
 title        = {Modal and Temporal Logics for Processes},
 editor       = {Faron Moller and Graham M. Birtwistle},
 booktitle    = {Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings)},
 series       = {LNCS},
 volume       = {1043},
 publisher    = {Springer},
 pages        = {149--237},
 doi          = {10.1007/3-540-60915-6_5},
)
@(Taylor2012,
 author       = {Paul Taylor},
 title        = {Comment to "Substitution is pullback"},
 url          = {http://math.andrej.com/2012/09/28/substitution-is-pullback/},
)
@article(Tondervan2004,
 author       = {Andr\IeC{\'e} van Tondervan},
 year         = {2004},
 title        = {A Lambda Calculus for Quantum Computation},
 journal      = {SIAM J.\ Comput.},
 volume       = {33},
 number       = {5},
 pages        = {1109--1135},
 doi          = {10.1137/S0097539703432165},
)
@book(Varela2013,
 author       = {Carlos A. Varela},
 year         = {2013},
 title        = {Programming Distributed Computing Systems: A Foundational Approach},
 publisher    = {The MIT Press},
)
@techreport(Winskel2017,
 author       = {Glynn Winskel},
 year         = {2017},
 title        = {Event Structures, Stable Families and Concurrent Games},
 type         = {Lecture notes},
 institution  = {University of Cambridge},
 url          = {https://www.cl.cam.ac.uk/~gw104/ecsym-notes.pdf},
)
@inproceedings(Yi1991,
 author       = {Wang Yi},
 year         = {1991},
 title        = {{CCS} + Time = An Interleaving Model for Real Time Systems},
 editor       = {Javier Leach Albert and Burkhard Monien and Rodr{\'{\i}}guez{-}Artalejo, Mario},
 booktitle    = {ICALP},
 series       = {LNCS},
 volume       = {510},
 publisher    = {Springer},
 pages        = {217--228},
 doi          = {10.1007/3-540-54233-7_136},
)