@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},
)
@inproceedings(Aceto1991,
 author       = {Luca Aceto and Uffe Engberg},
 year         = {1991},
 title        = {Failures semantics for a simple process language with refinement},
 editor       = {Somenath Biswas and Kesav V. Nori},
 booktitle    = {Foundations of Software Technology and Theoretical Computer Science},
 publisher    = {Springer},
 pages        = {89--108},
 doi          = {10.1007/3-540-54967-6_63},
)
@article(aceto1994adding,
 author       = {Luca Aceto and Matthew Hennessy},
 year         = {1994},
 title        = {Adding action refinement to a finite process algebra},
 journal      = {Inform. and Comput.},
 volume       = {115},
 number       = {2},
 pages        = {179--247},
 doi          = {10.1006/inco.1994.1096},
)
@inproceedings(Aubert2022e,
 author       = {Cl{\'e}ment Aubert and Ross Horne and Christian Johansen},
 year         = {2022},
 title        = {Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus},
 editor       = {Bartek Klin and S\l{}awomir Lasota and Anca Muscholl},
 booktitle    = {33rd International Conference on Concurrency Theory},
 series       = {Leibniz International Proceedings in Informatics},
 volume       = {243},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {30:1--30:26},
 doi          = {10.4230/LIPIcs.CONCUR.2022.30},
)
@article(Boreale1998,
 author       = {Michele Boreale and Davide Sangiorgi},
 year         = {1998},
 title        = {A fully abstract semantics for causality in the $\pi$-calculus},
 journal      = {Acta Inform.},
 volume       = {35},
 number       = {5},
 pages        = {353--400},
 doi          = {10.1007/s002360050124},
)
@article(Boudol1994,
 author       = {G{\'{e}}rard Boudol and Ilaria Castellani and Matthew Hennessy and Astrid Kiehn},
 year         = {1994},
 title        = {A Theory of Processes with Localities},
 journal      = {Formal Aspects Comput.},
 volume       = {6},
 number       = {2},
 pages        = {165--200},
 doi          = {10.1007/BF01221098},
)
@article(Castellani1995,
 author       = {Ilaria Castellani},
 year         = {1995},
 title        = {Observing distribution in processes: static and dynamic localities},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {6},
 number       = {04},
 pages        = {353--393},
 doi          = {10.1142/S0129054195000196},
)
@inproceedings(Cheval2022,
 author       = {V. Cheval and R. Crubill{\'e} and S. Kremer},
 year         = {2022},
 title        = {Symbolic Protocol Verification with Dice: Process Equivalences in the Presence of Probabilities},
 booktitle    = {2022 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (CSF)},
 publisher    = {IEEE Computer Society},
 address      = {Los Alamitos, CA, USA},
 pages        = {303--318},
 doi          = {10.1109/CSF54842.2022.00020},
)
@inproceedings(Cheval2019,
 author       = {Vincent Cheval and Steve Kremer and Itsaka Rakotonirina},
 year         = {2019},
 title        = {Exploiting Symmetries When Proving Equivalence Properties for Security Protocols},
 editor       = {Lorenzo Cavallaro and Johannes Kinder and XiaoFeng Wang and Jonathan Katz},
 booktitle    = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
 publisher    = {{ACM}},
 pages        = {905--922},
 doi          = {10.1145/3319535.3354260},
)
@inproceedings(Crafa2012,
 author       = {Silvia Crafa and Daniele Varacca and Nobuko Yoshida},
 year         = {2012},
 title        = {Event Structure Semantics of Parallel Extrusion in the Pi-Calculus},
 editor       = {Lars Birkedal},
 booktitle    = {Foundations of Software Science and Computational Structures - 15th International Conference, {FOSSACS} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
 series       = {LNCS},
 volume       = {7213},
 publisher    = {Springer},
 pages        = {225--239},
 doi          = {10.1007/978-3-642-28729-9_15},
)
@inproceedings(Cristescu2015b,
 author       = {Ioana Cristescu and Jean Krivine and Daniele Varacca},
 year         = {2015},
 title        = {Rigid Families for {CCS} and the {$\pi$}-calculus},
 editor       = {Martin Leucker and Camilo Rueda and Frank D. Valencia},
 booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
 series       = {LNCS},
 volume       = {9399},
 publisher    = {Springer},
 pages        = {223--240},
 doi          = {10.1007/978-3-319-25150-9_14},
)
@inproceedings(Degano1988b,
 author       = {Pierpaolo Degano and De Nicola, Rocco and Ugo Montanari},
 year         = {1989},
 title        = {Partial orderings descriptions and observations of nondeterministic concurrent processes},
 editor       = {J. W. de Bakker and W. P. de Roever and G. Rozenberg},
 booktitle    = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency},
 publisher    = {Springer},
 pages        = {438--466},
 doi          = {10.1007/BFb0013030},
)
@article(Deng2008,
 author       = {Yuxin Deng and Matthew Hennessy and Rob van Glabbeek and Carroll Morgan},
 year         = {2008},
 title        = {{Characterising Testing Preorders for Finite Probabilistic Processes}},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {{Volume 4, Issue 4}},
 doi          = {10.2168/LMCS-4(4:4)2008},
)
@inproceedings(Filimonov2019,
 author       = {Ihor Filimonov and Ross Horne and Sjouke Mauw and Zach Smith},
 year         = {2019},
 title        = {Breaking Unlinkability of the {ICAO} 9303 Standard for e-Passports Using Bisimilarity},
 editor       = {Kazue Sako and Steve A. Schneider and Peter Y. A. Ryan},
 booktitle    = {Computer Security - {ESORICS} 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part {I}},
 series       = {LNCS},
 volume       = {11735},
 publisher    = {Springer},
 pages        = {577--594},
 doi          = {10.1007/978-3-030-29959-0_28},
)
@techreport(Glabbeek90TRb,
 author       = {Rob van Glabbeek},
 year         = {1990},
 title        = {The refinement theorem for ST-bisimulation semantics},
 type         = {Technical Report},
 number       = {R 9002},
 institution  = {Centre for Mathematics and Computer Science},
 url          = {https://ir.cwi.nl/pub/5765},
)
@incollection(glabbeek90concur,
 author       = {Rob van Glabbeek},
 year         = {2001},
 title        = {The linear time-branching time spectrum {I}. {T}he semantics of concrete, sequential processes},
 editor       = {J. A. Bergstra and A. Ponse and S. A. Smolka},
 booktitle    = {Handbook of process algebra},
 publisher    = {Elsevier},
 pages        = {3--99},
 doi          = {10.1016/b978-044482830-9/50019-9},
)
@article(Glabbeek2009,
 author       = {Rob van Glabbeek and Gordon D. Plotkin},
 year         = {2009},
 title        = {Configuration structures, event structures and Petri nets},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {410},
 number       = {41},
 pages        = {4111--4159},
 doi          = {10.1016/j.tcs.2009.06.014},
)
@article(Glabbeek1997,
 author       = {Rob van Glabbeek and Frits W. Vaandrager},
 year         = {1997},
 title        = {The Difference between Splitting in $n$ and $n+1$},
 journal      = {Inf. Comput.},
 volume       = {136},
 number       = {2},
 pages        = {109--142},
 doi          = {10.1006/inco.1997.2634},
)
@article(GORRIERI1995272,
 author       = {Roberto Gorrieri and Cosimo Laneve},
 year         = {1995},
 title        = {Split and ST Bisimulation Semantics},
 journal      = {Inf. Comput.},
 volume       = {118},
 number       = {2},
 pages        = {272--288},
 doi          = {10.1006/inco.1995.1066},
)
@article(Hennessy95,
 author       = {Matthew Hennessy},
 year         = {1995},
 title        = {Concurrent Testing of Processes},
 journal      = {Acta Informatica},
 volume       = {32},
 number       = {6},
 pages        = {509--543},
 doi          = {10.1007/BF01178906},
)
@article(Horne2021,
 author       = {Ross Horne and Sjouke Mauw},
 year         = {2021},
 title        = {Discovering ePassport Vulnerabilities using Bisimilarity},
 journal      = {Log.\ Meth.\ Comput.\ Sci.},
 volume       = {17},
 number       = {2},
 pages        = {24},
 doi          = {10.23638/LMCS-17(2:24)2021},
)
@inproceedings(Yurkov2021,
 author       = {Ross Horne and Sjouke Mauw and Semen Yurkov},
 year         = {2021},
 title        = {Compositional Analysis of Protocol Equivalence in the Applied {$\pi$}-Calculus Using Quasi-open Bisimilarity},
 editor       = {Antonio Cerone and Peter Csaba {\"{O}}lveczky},
 booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings},
 series       = {LNCS},
 volume       = {12819},
 publisher    = {Springer},
 pages        = {235--255},
 doi          = {10.1007/978-3-030-85315-0_14},
)
@article(Johansen2016,
 author       = {Christian Johansen},
 year         = {2016},
 title        = {ST-structures},
 journal      = {J. Log. Algebraic Methods Program.},
 volume       = {85},
 number       = {6},
 pages        = {1201--1233},
 doi          = {10.1016/j.jlamp.2015.10.009},
)
@inproceedings(Mukund1992,
 author       = {Madhavan Mukund and Mogens Nielsen},
 year         = {1992},
 title        = {{CCS, Location and Asynchronous Transition Systems}},
 editor       = {R. K. Shyamasundar},
 booktitle    = {Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings},
 series       = {LNCS},
 volume       = {652},
 publisher    = {Springer},
 pages        = {328--341},
 doi          = {10.1007/3-540-56287-7_116},
)
@article(Parrow2021,
 author       = {Joachim Parrow and Johannes Borgstr{\"{o}}m and Lars{-}Henrik Eriksson and Ramunas Gutkovas and Tjark Weber},
 year         = {2021},
 title        = {Modal Logics for Nominal Transition Systems},
 journal      = {Log.\ Meth.\ Comput.\ Sci.},
 volume       = {17},
 number       = {1},
 pages        = {6:1--6:49},
 doi          = {10.23638/LMCS-17(1:6)2021},
)
@article(Rabinovich1988,
 author       = {Alexander Rabinovich and Boris Avraamovich Trakhtenbrot},
 year         = {1988},
 title        = {Behavior Structures and Nets},
 journal      = {Fund.\ Inform.},
 volume       = {11},
 number       = {4},
 pages        = {357--404},
 doi          = {10.3233/FI-1988-11404},
)
@article(Sangiorgi1996,
 author       = {Davide Sangiorgi},
 year         = {1996},
 title        = {Locality and interleaving semantics in calculi for mobile processes},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {155},
 number       = {1},
 pages        = {39--83},
 doi          = {10.1016/0304-3975(95)00020-8},
)
@article(Sangiorgi1996c,
 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},
)
@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} 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings},
 series       = {LNCS},
 volume       = {2154},
 publisher    = {Springer},
 pages        = {292--304},
 doi          = {10.1007/3-540-44685-0_20},
)
@article(Varacca2010,
 author       = {Daniele Varacca and Nobuko Yoshida},
 year         = {2010},
 title        = {Typed event structures and the linear pi-calculus},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {411},
 number       = {19},
 pages        = {1949--1973},
 doi          = {10.1016/j.tcs.2010.01.024},
)
@article(Vogler1991,
 author       = {Walter Vogler},
 year         = {1991},
 title        = {Failures semantics based on interval semiwords is a congruence for refinement},
 journal      = {Distributed Computing},
 volume       = {4},
 number       = {3},
 pages        = {139--162},
 doi          = {10.1007/BF01798961},
)
@article(Vogler1996,
 author       = {Walter Vogler},
 year         = {1996},
 title        = {The Limit of Split$_n$-Language Equivalence},
 journal      = {Inf. Comput.},
 volume       = {127},
 number       = {1},
 pages        = {41--61},
 doi          = {10.1006/inco.1996.0048},
)