@inproceedings(berryBoudol90,
 author       = {G. Berry and G. Boudol},
 year         = {1990},
 title        = {{The Chemical Abstract Machine}},
 booktitle    = {Proc. of POPL},
 series       = {SIGPLAN-SIGACT},
 pages        = {81--94},
 doi          = {10.1145/96709.96717},
)
@inproceedings(bestDarondeau11,
 author       = {E. Best and P. Darondeau},
 year         = {2011},
 title        = {{Petri Net Distributability}},
 booktitle    = {Proc. of PSI},
 series       = {LNCS},
 volume       = {7162},
)
@techreport(boudol92,
 author       = {G. Boudol},
 year         = {1992},
 title        = {{Asynchrony and the $\pi$-calculus (note)}},
 type         = {Note},
 institution  = {INRIA},
)
@inproceedings(cardelliGordon98,
 author       = {L. Cardelli and A.D. Gordon},
 year         = {1998},
 title        = {{Mobile ambients}},
 booktitle    = {Proc. of FoSSaCS},
 series       = {LNCS},
 volume       = {1378},
 pages        = {140--155},
 doi          = {10.1007/BFb0053547},
)
@article(cardelliGordon00,
 author       = {L. Cardelli and A.D. Gordon},
 year         = {2000},
 title        = {{Mobile ambients}},
 journal      = {{Theoretical Computer Science}},
 volume       = {240},
 number       = {1},
 pages        = {177--213},
 doi          = {10.1016/S0304-3975(99)00231-5},
)
@inproceedings(jocaml99,
 author       = {S. Conchon and F. Le Fessant},
 year         = {1999},
 title        = {{Jocaml: mobile agents for Objective-Caml}},
 booktitle    = {Proc. of ASA/MA},
 publisher    = {IEEE},
 pages        = {22--29},
 doi          = {10.1109/ASAMA.1999.805390},
)
@article(dijkstra71,
 author       = {E.W. Dijkstra},
 year         = {1971},
 title        = {{Hierarchical Ordering of Sequential Processes}},
 journal      = {Acta Informatica},
 volume       = {1},
 number       = {2},
 pages        = {115--138},
 doi          = {10.1007/BF00289519},
)
@inproceedings(fournetGonthier96,
 author       = {C. Fournet and G. Gonthier},
 year         = {1996},
 title        = {{The Reflexive CHAM and the Join-Calculus}},
 booktitle    = {Proc. of POPL},
 series       = {SIGPLAN-SIGACT},
 pages        = {372--385},
 doi          = {10.1145/237721.237805},
)
@inproceedings(fournetLevySchmitt00,
 author       = {C. Fournet and J.-J. L{\'e}vy and A. Schmitt},
 year         = {2000},
 title        = {{An Asynchronous, Distributed Implementation of Mobile Ambients}},
 booktitle    = {Proc. of TCS},
 series       = {LNCS},
 volume       = {1872},
 pages        = {348--364},
 doi          = {10.1007/3-540-44929-9\_26},
)
@article(vanglabbeek01,
 author       = {R. van Glabbeek},
 year         = {2001},
 title        = {{The Linear Time~--~Branching Time Spectrum~I: The Semantics of Concrete, Sequential Processes}},
 journal      = {Handbook of Process Algebra},
 pages        = {3--99},
)
@inproceedings(glabbeekGoltzSchicke08b,
 author       = {R. van Glabbeek and U. Goltz and J.-W. Schicke},
 year         = {2008},
 title        = {{On Synchronous and Asynchronous Interaction in Distributed Systems}},
 booktitle    = {Proc. of MFCS},
 series       = {LNCS},
 volume       = {5162},
 pages        = {16--35},
 doi          = {10.1007/978-3-540-85238-4},
)
@conference(glabbeekGoltzSchicke12,
 author       = {R. van Glabbeek and U. Goltz and {Schicke-Uffmann}, J.-W.},
 year         = {2012},
 title        = {{On Distributability of Petri Nets}},
 booktitle    = {Proc. of FoSSaCS},
 series       = {LNCS},
 volume       = {7213},
 pages        = {331--345},
 doi          = {10.1007/978-3-642-28729-9\_22},
)
@article(gorla10,
 author       = {D. Gorla},
 year         = {2010},
 title        = {{Towards a Unified Approach to Encodability and Separation Results for Process Calculi}},
 journal      = {Information and Computation},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@book(hennessy07,
 author       = {M. Hennessy},
 year         = {2007},
 title        = {{A Distributed Pi-Calculus}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511611063},
)
@inproceedings(hondaTokoro91,
 author       = {K. Honda and M. Tokoro},
 year         = {1991},
 title        = {{An Object Calculus for Asynchronous Communication}},
 booktitle    = {Proc. of ECOOP},
 series       = {LNCS},
 volume       = {512},
 pages        = {133--147},
 doi          = {10.1007/BFb0057011},
)
@inproceedings(leviSangiorgi03,
 author       = {F. Levi and D. Sangiorgi},
 year         = {2003},
 title        = {{Mobile Safe Ambients}},
 booktitle    = {Proc. of TOPLAS},
 volume       = {25},
 publisher    = {ACM},
 pages        = {1--69},
 doi          = {10.1145/596980.596981},
)
@inproceedings(levy97,
 author       = {J.-J. L{\'e}vy},
 year         = {1997},
 title        = {{Some Results in the Join-Calculus}},
 booktitle    = {Theoretical Aspects of Computer Software},
 series       = {LNCS},
 volume       = {1281},
 pages        = {233--249},
 doi          = {10.1007/BFb0014554},
)
@article(milnerParrowWalker92,
 author       = {R. Milner and J. Parrow and D. Walker},
 year         = {1992},
 title        = {{A Calculus of Mobile Processes, Part I and II}},
 journal      = {Information and Computation},
 volume       = {100},
 number       = {1},
 pages        = {1--77},
 doi          = {10.1016/0890-5401(92)90008-4, 10.1016/0890-5401(92)90009-5},
)
@inproceedings(milnerSangiorgi92,
 author       = {R. Milner and D. Sangiorgi},
 year         = {1992},
 title        = {{Barbed Bisimulation}},
 booktitle    = {Proc. of ICALP},
 series       = {LNCS},
 volume       = {623},
 pages        = {685--695},
 doi          = {10.1007/3-540-55719-9\_114},
)
@phdthesis(peters12,
 author       = {K. Peters},
 year         = {2012},
 title        = {{Translational Expressiveness}},
 school       = {TU Berlin},
 doi          = {10.14279/depositonce-3416},
)
@techreport(petersNestmann18techrep,
 author       = {K. Peters and U. Nestmann},
 year         = {2018},
 title        = {{On the Distributability of Mobile Ambients (Technical Report)}},
 type         = {{Technical Report}},
 institution  = {TU Berlin},
 address      = {https://arxiv.org},
)
@conference(petersNestmannGoltz13,
 author       = {K. Peters and U. Nestmann and U. Goltz},
 year         = {2013},
 title        = {{On Distributability in Process Calculi}},
 booktitle    = {Proc. of ESOP},
 series       = {LNCS},
 volume       = {7792},
 pages        = {310--329},
 doi          = {10.1007/978-3-642-37036-6\_18},
)
@techreport(petersNestmannGoltz13TR,
 author       = {K. Peters and U. Nestmann and U. Goltz},
 year         = {2013},
 title        = {{On Distributability in Process Calculi (Appendix)}},
 type         = {{Technical Report}},
 institution  = {TU Berlin},
 note         = {\url{http://www.mtv.tu-berlin.de/fileadmin/a3435/pubs/distProcCal.pdf}},
)
@article(plotkin04,
 author       = {G.D. Plotkin},
 year         = {2004},
 title        = {{A structural approach to operational semantics}},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {60},
 pages        = {17--140},
 note         = {[An earlier version of this paper was published as technical report at Aarhus University in 1981.]},
)