@inproceedings(abadi-gordon:97,
 author       = {Mart\'{\i}n Abadi and Andrew D. Gordon},
 year         = {1997},
 title        = {A Calculus for Cryptographic Protocols: The {Spi} Calculus},
 booktitle    = {{CCS 1997}},
 publisher    = {ACM},
 pages        = {36--47},
 doi          = {10.1145/266420.266432},
)
@article(banach-balazs-papadopoulos:95,
 author       = {Richard Banach and J. Bal\'azs and George A. Papadopoulos},
 year         = {1995},
 title        = {A Translation of the Pi-Calculus Into {MONSTR}},
 journal      = {J.UCS},
 volume       = {1},
 number       = {6},
 pages        = {339--398},
 doi          = {10.3217/jucs-001-06-0339},
)
@techreport(boudol:1992,
 author       = {G\'erard Boudol},
 year         = {1992},
 title        = {Asynchrony and the Pi-calculus},
 type         = {Technical Report},
 number       = {Research Report RR-1702,inria-00076939},
 institution  = {INRIA, France},
 url          = {https://hal.inria.fr/inria-00076939},
)
@inproceedings(cano-et-al:2017,
 author       = {Mauricio Cano and Jaime Arias and Jorge A. P{\'{e}}rez},
 year         = {2017},
 title        = {Session-Based Concurrency, Reactively},
 booktitle    = {{FORTE} 2017},
 series       = {LNCS},
 volume       = {10321},
 publisher    = {Springer},
 pages        = {74--91},
 doi          = {10.1007/978-3-319-60225-7\_6},
)
@inproceedings(Chaudhuri09,
 author       = {Avik Chaudhuri},
 year         = {2009},
 title        = {A concurrent {ML} library in concurrent Haskell},
 booktitle    = {{ICFP} 2009},
 publisher    = {{ACM}},
 pages        = {269--280},
 doi          = {10.1145/1596550.1596589},
)
@inproceedings(Claessen-Sands:99,
 author       = {Koen Claessen and David Sands},
 year         = {1999},
 title        = {Observable Sharing for Functional Circuit Description},
 booktitle    = {{ASIAN 1999}},
 series       = {LNCS},
 volume       = {1742},
 publisher    = {Springer},
 pages        = {62--73},
 doi          = {10.1007/3-540-46674-6\_7},
)
@inproceedings(fournet-gonthier:2000,
 author       = {C{\'{e}}dric Fournet and Georges Gonthier},
 year         = {2002},
 title        = {The Join Calculus: A Language for Distributed Mobile Programming},
 booktitle    = {APPSEM 2000},
 series       = {LNCS},
 volume       = {2395},
 publisher    = {Springer},
 pages        = {268--332},
 doi          = {10.1007/3-540-45699-6\_6},
)
@inproceedings(Gill:09,
 author       = {Andy Gill},
 year         = {2009},
 title        = {Type-safe observable sharing in Haskell},
 booktitle    = {{Haskell 2009}},
 publisher    = {{ACM}},
 pages        = {117--128},
 doi          = {10.1145/1596638.1596653},
)
@inproceedings(GlabbeekGLM19,
 author       = {Rob van Glabbeek and Ursula Goltz and Christopher Lippert and Stephan Mennicke},
 year         = {2019},
 title        = {Stronger Validity Criteria for Encoding Synchrony},
 booktitle    = {The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday},
 series       = {LNCS},
 volume       = {11760},
 publisher    = {Springer},
 pages        = {182--205},
 doi          = {10.1007/978-3-030-31175-9\_11},
)
@article(Glabbeek18,
 author       = {Rob J. van Glabbeek},
 year         = {2018},
 title        = {On the validity of encodings of the synchronous in the asynchronous $\pi$-calculus},
 journal      = {Inf. Process. Lett.},
 volume       = {137},
 pages        = {17--25},
 doi          = {10.1016/j.ipl.2018.04.015},
)
@article(Gorla:10,
 author       = {Daniele Gorla},
 year         = {2010},
 title        = {Towards a unified approach to encodability and separation results for process calculi},
 journal      = {Inf. Comput.},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@inproceedings(Honda:1991,
 author       = {Kohei Honda and Mario Tokoro},
 year         = {1991},
 title        = {An Object Calculus for Asynchronous Communication},
 booktitle    = {ECOOP 1991},
 publisher    = {Springer-Verlag},
 pages        = {133--147},
 doi          = {10.1007/BFb0057019},
)
@techreport(laneve-join:96,
 author       = {Cosimo Laneve},
 year         = {1996},
 title        = {On testing equivalence: May and Must Testing in the Join-Calculus},
 type         = {Technical Report},
 number       = {UBLCS 96-04},
 institution  = {University of Bologna},
 url          = {https://www.cs.unibo.it/~laneve/papers/laneve96may.pdf},
)
@book(milner-pi-calc:99,
 author       = {Robin Milner},
 year         = {1999},
 title        = {Communicating and mobile systems - the Pi-calculus},
 publisher    = {Cambridge University Press},
)
@article(milner-parrow-walker:92,
 author       = {Robin Milner and Joachim Parrow and David Walker},
 year         = {1992},
 title        = {A Calculus of Mobile Processes, {I} \& {II}},
 journal      = {Inform. and Comput.},
 volume       = {100},
 number       = {1},
 pages        = {1--77},
 doi          = {10.1016/0890-5401(92)90008-4},
)
@article(niehren-sabel-schmidt-schauss-schwinghammer:07:entcs,
 author       = {Joachim Niehren and David Sabel and Schmidt-Schau{\ss}, Manfred and Jan Schwinghammer},
 year         = {2007},
 title        = {Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {173},
 pages        = {313--337},
 doi          = {10.1016/j.entcs.2007.02.041},
)
@inproceedings(orchard-yoshida:16,
 author       = {Dominic A. Orchard and Nobuko Yoshida},
 year         = {2016},
 title        = {Effects as sessions, sessions as effects},
 booktitle    = {{POPL 2016}},
 publisher    = {{ACM}},
 pages        = {568--581},
 doi          = {10.1145/2837614.2837634},
)
@inproceedings(Palamidessi:97,
 author       = {Catuscia Palamidessi},
 year         = {1997},
 title        = {Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus},
 booktitle    = {{POPL}~1997},
 publisher    = {{ACM} Press},
 pages        = {256--265},
 doi          = {10.1145/263699.263731},
)
@article(Palamidessi03,
 author       = {Catuscia Palamidessi},
 year         = {2003},
 title        = {Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi},
 journal      = {Math. Structures Comput. Sci.},
 volume       = {13},
 number       = {5},
 pages        = {685--719},
 doi          = {10.1017/S0960129503004043},
)
@inproceedings(peyton-gordon-finne:96,
 author       = {{Peyton Jones}, Simon L. and Andrew Gordon and Sigbjorn Finne},
 year         = {1996},
 title        = {Concurrent {H}askell},
 booktitle    = {{POPL 1996}},
 publisher    = {ACM},
 pages        = {295--308},
 doi          = {10.1145/237721.237794},
)
@article(priami:95,
 author       = {Corrado Priami},
 year         = {1995},
 title        = {Stochastic pi-Calculus},
 journal      = {Comput. J.},
 volume       = {38},
 number       = {7},
 pages        = {578--589},
 doi          = {10.1093/comjnl/38.7.578},
)
@inproceedings(Russell01,
 author       = {George Russell},
 year         = {2001},
 title        = {Events in Haskell, and How to Implement Them},
 booktitle    = {{ICFP}~2001},
 publisher    = {{ACM}},
 pages        = {157--168},
 doi          = {10.1145/507635.507655},
)
@inproceedings(sabel-schmidt-schauss-PPDP:2011,
 author       = {David Sabel and Schmidt-Schau{\ss}, Manfred},
 year         = {2011},
 title        = {A contextual semantics for {C}oncurrent {H}askell with futures},
 booktitle    = {{PPDP 2011}},
 publisher    = {ACM},
 pages        = {101--112},
 doi          = {10.1145/2003476.2003492},
)
@inproceedings(sabel-schmidt-schauss-LICS:12,
 author       = {David Sabel and Schmidt-Schau{\ss}, Manfred},
 year         = {2012},
 title        = {Conservative Concurrency in {H}askell},
 booktitle    = {{LICS 2012}},
 publisher    = {IEEE},
 pages        = {561--570},
 doi          = {10.1109/LICS.2012.66},
)
@inproceedings(sabel-schmidt-schauss-pistop:2015,
 author       = {David Sabel and Schmidt{-}Schau{\ss}, Manfred},
 year         = {2015},
 title        = {Observing Success in the Pi-Calculus},
 booktitle    = {{WPTE 2015}},
 series       = {{OASICS}},
 volume       = {46},
 pages        = {31--46},
 doi          = {10.4230/OASIcs.WPTE.2015.31},
)
@inproceedings(sangiorgi-walker:2001,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {On Barbed Equivalences in pi-Calculus},
 booktitle    = {{{CONCUR} 200}},
 series       = {LNCS},
 volume       = {2154},
 publisher    = {Springer},
 pages        = {292--304},
 doi          = {10.1007/3-540-44685-0\_20},
)
@book(sangiorgi-walker:01,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {The $\pi$-calculus: a theory of mobile processes},
 publisher    = {Cambridge university press},
)
@inproceedings(schmidt-schauss-niehren-schwinghammer-sabel-ifip-tcs:08,
 author       = {Schmidt-Schau{\ss}, Manfred and Joachim Niehren and Jan Schwinghammer and David Sabel},
 year         = {2008},
 title        = {Adequacy of Compositional Translations for Observational Semantics},
 booktitle    = {{IFIP TCS 2008}},
 series       = {IFIP},
 volume       = {273},
 publisher    = {Springer},
 pages        = {521--535},
 doi          = {10.1007/978-0-387-09680-3\_35},
)
@techreport(schmidt-schauss-sabel:frank-60:19,
 author       = {Schmidt-Schau{\ss}, Manfred and David Sabel},
 year         = {2020},
 title        = {Embedding the Pi-Calculus into a Concurrent Functional Programming Language},
 type         = {Frank report},
 number       = {60},
 institution  = {Institut f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
 url          = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-60v5.pdf},
)
@inproceedings(schauss-sabel-dallmeyer:18,
 author       = {Schmidt{-}Schau{\ss}, Manfred and David Sabel and Nils Dallmeyer},
 year         = {2018},
 title        = {Sequential and Parallel Improvements in a Concurrent Functional Programming Language},
 booktitle    = {{PPDP} 2018},
 publisher    = {{ACM}},
 pages        = {20:1--20:13},
 doi          = {10.1145/3236950.3236952},
)
@article(schmidtschauss-sabel-niehren-schwing-tcs:15,
 author       = {Schmidt{-}Schau{\ss}, Manfred and David Sabel and Joachim Niehren and Jan Schwinghammer},
 year         = {2015},
 title        = {Observational program calculi and the correctness of translations},
 journal      = {Theor. Comput. Sci.},
 volume       = {577},
 pages        = {98--124},
 doi          = {10.1016/j.tcs.2015.02.027},
)
@inproceedings(schwinghammer-sabel-schmidt-schauss-niehren:09:ml,
 author       = {Jan Schwinghammer and David Sabel and Schmidt-Schau{\ss}, Manfred and Joachim Niehren},
 year         = {2009},
 title        = {Correctly translating concurrency primitives},
 booktitle    = {{ML 2009}},
 publisher    = {ACM},
 pages        = {27--38},
 doi          = {10.1145/1596627.1596633},
)
@article(yang-ramakrishnan-smolka:2004,
 author       = {Ping Yang and C. R. Ramakrishnan and Scott A. Smolka},
 year         = {2004},
 title        = {A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution},
 journal      = {{STTT}},
 volume       = {6},
 number       = {1},
 pages        = {38--66},
 doi          = {10.1007/s10009-003-0136-3},
)