@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(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(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(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    = {Proceedings of the European Conference on Object-Oriented Programming},
 series       = {ECOOP '91},
 publisher    = {Springer-Verlag},
 pages        = {133--147},
 doi          = {10.1007/BFb0057019},
)
@article(milner1992calculus,
 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},
)
@article(jlambda-fut,
 author       = {Joachim Niehren and Jan Schwinghammer and Gert Smolka},
 year         = {2006},
 title        = {A Concurrent Lambda Calculus with Futures},
 journal      = {{Theoretical Computer Science}},
 volume       = {364},
 number       = {3},
 pages        = {{338--356}},
 doi          = {10.1016/j.tcs.2006.08.016},
)
@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(rensink-vogler:07,
 author       = {Arend Rensink and Walter Vogler},
 year         = {2007},
 title        = {Fair testing},
 journal      = {Inform. and Comput.},
 volume       = {205},
 number       = {2},
 pages        = {125--198},
 doi          = {10.1016/j.ic.2006.06.002},
)
@inproceedings(Russell01,
 author       = {George Russell},
 year         = {2001},
 title        = {Events in {H}askell, and How to Implement Them},
 booktitle    = {{ICFP}~2001},
 publisher    = {{ACM}},
 pages        = {157--168},
 doi          = {10.1145/507635.507655},
)
@article(sabel-schmidt-schauss-MSCS:08,
 author       = {David Sabel and Schmidt-Schau{\ss}, Manfred},
 year         = {2008},
 title        = {A Call-by-Need Lambda-Calculus with Locally Bottom-Avoiding Choice: Context Lemma and Correctness of Transformations},
 journal      = {Math. Structures Comput. Sci.},
 volume       = {18},
 number       = {03},
 pages        = {501--553},
 doi          = {10.1017/S0960129508006774},
)
@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},
)
@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},
)
@article(schmidt-schauss-sabel-maymust:10,
 author       = {Schmidt-Schau{\ss}, Manfred and David Sabel},
 year         = {2010},
 title        = {Closures of may-, should- and must-convergences for contextual equivalence},
 journal      = {Inform. and Comput.},
 volume       = {110},
 number       = {6},
 pages        = {232 -- 235},
 doi          = {10.1016/j.ipl.2010.01.001},
)
@inproceedings(schmidt-schauss-sabel-2020,
 author       = {Schmidt-Schau{\ss}, Manfred and David Sabel},
 year         = {2020},
 title        = {Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars},
 booktitle    = {{EXPRESS/SOS 2020}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {322},
 publisher    = {Open Publishing Association},
 pages        = {88--105},
 doi          = {10.4204/EPTCS.322.8},
)
@misc(schmidt-schauss-sabel-wpte:2020,
 author       = {Schmidt-Schau{\ss}, Manfred and David Sabel},
 year         = {2020},
 title        = {On Impossibility of Simple Translations of Concurrent Calculi},
 note         = {Presented at {WPTE 2020}, pre-proceedings available via \href{http://maude.ucm.es/wpte20/}{http://maude.ucm.es/wpte20/}},
)
@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},
)
@article(schmidt-schauss-sabel:21-conclock-ext,
 author       = {Schmidt-Schau\IeC{\ss}, Manfred and David Sabel},
 year         = {2021},
 title        = {Minimal Translations from Synchronous Communication to Synchronizing Locks (Extended Version)},
 journal      = {CoRR},
 volume       = {abs/2107.14651},
 url          = {https://arxiv.org/abs/2107.14651},
)
@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},
)