@article(arunkummarHennessy92,
 author       = {{Arun-Kummar}, S. and M. Hennessy},
 year         = {1992},
 title        = {{An efficiency preorder for processes}},
 journal      = {Acta Informatica},
 volume       = {29},
 number       = {8},
 pages        = {737--760},
 doi          = {10.1007/BF01191894},
)
@article(baeten05,
 author       = {J.C.M. Baeten},
 year         = {2005},
 title        = {{A brief history of process algebra}},
 journal      = {Theoretical Computer Science},
 volume       = {335},
 number       = {2--3},
 pages        = {131--146},
 doi          = {10.1016/j.tcs.2004.07.036},
)
@inproceedings(baldamusParrowVictor05,
 author       = {M. Baldamus and J. Parrow and B. Victor},
 year         = {2005},
 title        = {{A Fully Abstract Encoding of the $\pi$-Calculus with Data Terms (Extended Abstract)}},
 booktitle    = {Proc. of ICALP},
 series       = {LNCS},
 volume       = {3580},
 publisher    = {Springer},
 pages        = {1202--1213},
 doi          = {10.1007/11523468\_97},
)
@techreport(bergstraKlop82,
 author       = {J.A. Bergstra and J.W. Klop},
 year         = {1982},
 title        = {{Fixed point semantics in process algebra}},
 type         = {Technical Report},
 number       = {IW 206/82},
 institution  = {Mathematical Centre, Amsterdam},
)
@inproceedings(boerPalamidessi1991,
 author       = {F.S. Boer and C. Palamidessi},
 year         = {1991},
 title        = {{Embedding as a tool for Language Comparison: On the CSP hierarchy}},
 booktitle    = {Proc. of CONCUR},
 series       = {LNCS},
 volume       = {527},
 publisher    = {Springer},
 pages        = {127--141},
 doi          = {10.1007/3-540-54430-5\_85},
)
@techreport(boudol92,
 author       = {G. Boudol},
 year         = {1992},
 title        = {{Asynchrony and the $\pi$-calculus (note)}},
 type         = {Note},
 institution  = {INRIA},
)
@article(buckleySilberschatz83,
 author       = {G.N. Buckley and A. Silberschatz},
 year         = {1983},
 title        = {{An Effective Implementation for the Generalized Input-Output Construct of CSP}},
 journal      = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume       = {5},
 number       = {2},
 pages        = {223--235},
 doi          = {10.1145/69624.357208},
)
@article(BusiGZ09,
 author       = {N. Busi and M. Gabbrielli and G. Zavattaro},
 year         = {2009},
 title        = {On the expressive power of recursion, replication and iteration in process calculi},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 number       = {6},
 pages        = {1191--1222},
 doi          = {10.1017/S096012950999017X},
)
@article(CCAV08,
 author       = {D. Cacciagrano and F. Corradini and J. Aranda and F.D. Valencia},
 year         = {2008},
 title        = {{Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {194},
 number       = {2},
 pages        = {59--84},
 doi          = {10.1016/j.entcs.2007.11.006},
)
@article(carboneMaffeis03,
 author       = {M. Carbone and S. Maffeis},
 year         = {2003},
 title        = {{On the Expressive Power of Polyadic Synchronisation in $\pi$-Calculus}},
 journal      = {Nordic Journal of Computing},
 volume       = {10},
 number       = {2},
 pages        = {70--98},
 doi          = {10.1016/S1571-0661(05)80361-5},
)
@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},
 publisher    = {ACM},
 pages        = {372--385},
 doi          = {10.1145/237721.237805},
)
@article(fu16,
 author       = {Y. Fu},
 year         = {2016},
 title        = {{Theory of Interaction}},
 journal      = {Theoretical Computer Science},
 volume       = {611},
 pages        = {1--49},
 doi          = {10.1016/j.tcs.2015.07.043},
)
@article(fuLu10,
 author       = {Y. Fu and H. Lu},
 year         = {2010},
 title        = {{On the expressiveness of interaction}},
 journal      = {Theoretical Computer Science},
 volume       = {411},
 number       = {11-13},
 pages        = {1387--1451},
 doi          = {10.1016/j.tcs.2009.11.011},
)
@inproceedings(vanglabbeek93,
 author       = {R.J. van Glabbeek},
 year         = {1993},
 title        = {{The Linear Time~--~Branching Time Spectrum~II}},
 booktitle    = {Proc. of CONCUR},
 series       = {LNCS},
 volume       = {715},
 pages        = {66--81},
 doi          = {10.1007/3-540-57208-2\_6},
)
@inproceedings(vG94a,
 author       = {R.J. van Glabbeek},
 year         = {1994},
 title        = {On the expressiveness of {ACP} (extended abstract)},
 booktitle    = {Proc. of ACP},
 series       = {Workshops in Computing},
 pages        = {188--217},
 doi          = {10.1007/978-1-4471-2120-6\_8},
)
@article(vanglabbeek01,
 author       = {R.J. van Glabbeek},
 year         = {2001},
 title        = {{The Linear Time~--~Branching Time Spectrum~I: The Semantics of Conrete, Sequential Processes}},
 journal      = {Handbook of Process Algebra},
 pages        = {3--99},
 doi          = {10.1016/B978-044482830-9/50019-9},
)
@inproceedings(vG12,
 author       = {R.J. van Glabbeek},
 year         = {2012},
 title        = {{Musings on Encodings and Expressiveness}},
 booktitle    = {Proc. of EXPRESS/SOS},
 series       = {EPTCS},
 volume       = {89},
 pages        = {81--98},
 doi          = {10.4204/EPTCS.89.7},
)
@inproceedings(glabbeek18,
 author       = {R.J. van Glabbeek},
 year         = {2018},
 title        = {{A Theory of Encodings and Expressiveness (Extended Abstract)}},
 booktitle    = {Proc. of FoSSaCS},
 series       = {LNCS},
 volume       = {10803},
 pages        = {183--202},
 doi          = {10.1007/978-3-319-89366-2_10},
)
@inproceedings(gorla08,
 author       = {D. Gorla},
 year         = {2008},
 title        = {{Towards a Unified Approach to Encodability and Separation Results for Process Calculi}},
 booktitle    = {Proc. of CONCUR},
 series       = {LNCS},
 volume       = {5201},
 pages        = {492--507},
 doi          = {10.1007/978-3-540-85361-9\_38},
)
@inproceedings(gorla09,
 author       = {D. Gorla},
 year         = {2009},
 title        = {{On the Relative Expressive Power of Calculi for Mobility}},
 booktitle    = {Proc. of MFPS},
 series       = {ENTCS},
 volume       = {249},
 pages        = {269--286},
 doi          = {10.1016/j.entcs.2009.07.094},
)
@article(gorla10DistComp,
 author       = {D. Gorla},
 year         = {2010},
 title        = {{A taxonomy of process calculi for distribution and mobility}},
 journal      = {Distributed Computing},
 volume       = {23},
 number       = {4},
 pages        = {273--299},
 doi          = {10.1007/s00446-010-0120-6},
)
@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},
)
@article(gorla2014abstraction,
 author       = {D. Gorla and U. Nestmann},
 year         = {2014},
 title        = {Full abstraction for expressiveness: history, myths and facts},
 journal      = {Mathematical Structures in Computer Science},
 pages        = {1--16},
 doi          = {10.1017/S0960129514000279},
)
@inproceedings(cspToCcs15,
 author       = {M. Hatzel and C. Wagner and K. Peters and U. Nestmann},
 year         = {2015},
 title        = {{Encoding CSP into CCS}},
 booktitle    = {Proc. of EXPRESS/SOS},
 series       = {EPTCS},
 volume       = {7},
 pages        = {61--75},
 doi          = {10.4204/EPTCS.190.5},
)
@inproceedings(hewittBishopSteiger73,
 author       = {C. Hewitt and P. Bishop and R. Steiger},
 year         = {1973},
 title        = {{A universal modular ACTOR formalism for artificial intelligence}},
 booktitle    = {Proc. of IJCAI},
 publisher    = {ACM},
 pages        = {235--245},
)
@article(hoare78,
 author       = {C.A.R. Hoare},
 year         = {1978},
 title        = {{Communicating Sequential Processes}},
 journal      = {Communications of the ACM},
 volume       = {21},
 number       = {8},
 pages        = {666--677},
 doi          = {10.1145/359576.359585},
)
@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/BFb0057019},
)
@article(hondaYoshida95,
 author       = {K. Honda and N. Yoshida},
 year         = {1995},
 title        = {{On Reduction-Based Process Semantics}},
 journal      = {Theoretical Computer Science},
 volume       = {151},
 number       = {2},
 pages        = {437--486},
 doi          = {10.1016/0304-3975(95)00074-7},
)
@article(knabe93,
 author       = {F. Knabe},
 year         = {1993},
 title        = {{A Distributed Protocol for Channel-Based Communication with Choice}},
 journal      = {Computers and Artificial Intelligence},
 volume       = {12},
 number       = {5},
 pages        = {475--490},
)
@inproceedings(laneveVitale10,
 author       = {C. Laneve and A. Vitale},
 year         = {2010},
 title        = {{The Expressive Power of Synchronizations}},
 booktitle    = {Proc. of LICS},
 publisher    = {IEEE},
 pages        = {382--391},
 doi          = {10.1109/LICS.2010.15},
)
@inproceedings(liptonSnyderZalcstein74,
 author       = {R.J. Lipton and L. Snyder and Y. Zalcstein},
 year         = {1974},
 title        = {{A Comparative Study of Models of Parallel Computation}},
 booktitle    = {Proc. of SWAT},
 publisher    = {IEEE},
 pages        = {145--155},
 doi          = {10.1109/SWAT.1974.2},
)
@book(milner89,
 author       = {R. Milner},
 year         = {1989},
 title        = {{Communication and Concurrency}},
 publisher    = {Prentice-Hall, Inc.},
)
@article(milner92,
 author       = {R. Milner},
 year         = {1992},
 title        = {{Functions as Processes}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {2},
 number       = {2},
 pages        = {119--141},
 doi          = {10.1017/S0960129500001407},
)
@article(milner93,
 author       = {R. Milner},
 year         = {1993},
 title        = {{The Polyadic $\pi$-Calculus: a Tutorial}},
 journal      = {Logic and Algebra of Specification},
 volume       = {94},
 pages        = {203--246},
 doi          = {10.1007/978-3-642-58041-3_6},
)
@book(milner99,
 author       = {R. Milner},
 year         = {1999},
 title        = {{Communicating and Mobile Systems: The $\pi$-Calculus}},
 publisher    = {Cambridge University Press},
 address      = {New York},
)
@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},
)
@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},
)
@article(mitchell93,
 author       = {J.C. Mitchell},
 year         = {1993},
 title        = {{On abstraction and the expressive power of programming languages}},
 journal      = {Science of Computer Programming},
 volume       = {21},
 number       = {2},
 pages        = {141--163},
 doi          = {10.1016/0167-6423(93)90004-9},
)
@phdthesis(nestmann96,
 author       = {U. Nestmann},
 year         = {1996},
 title        = {{On Determinacy and Nondeterminacy in Concurrent Programming}},
 school       = {Universit{\"a}t Erlangen-N{\"u}rnberg},
)
@article(nestmann00,
 author       = {U. Nestmann},
 year         = {2000},
 title        = {{What is a ``Good'' Encoding of Guarded Choice?}},
 journal      = {Information and Computation},
 volume       = {156},
 number       = {1-2},
 pages        = {287--319},
 doi          = {10.1006/inco.1999.2822},
)
@inproceedings(nestmann06,
 author       = {U. Nestmann},
 year         = {2006},
 title        = {{Welcome to the Jungle: A subjective Guide to Mobile Process Calculi}},
 booktitle    = {Proc. of CONCUR},
 series       = {LNCS},
 volume       = {4137},
 pages        = {52--63},
 doi          = {10.1007/11817949\_4},
)
@article(nestmannPierce00,
 author       = {U. Nestmann and B.C. Pierce},
 year         = {2000},
 title        = {{Decoding Choice Encodings}},
 journal      = {Information and Computation},
 volume       = {163},
 number       = {1},
 pages        = {1--59},
 doi          = {10.1006/inco.2000.2868},
)
@article(palamidessi03,
 author       = {C. Palamidessi},
 year         = {2003},
 title        = {{Comparing the Expressive Power of the Synchronous and the Asynchronous $\pi$-calculi}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {13},
 number       = {5},
 pages        = {685--719},
 doi          = {10.1017/S0960129503004043},
)
@inproceedings(PalamidessiSVV06,
 author       = {C. Palamidessi and V.A. Saraswat and F.D. Valencia and B. Victor},
 year         = {2006},
 title        = {{On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus}},
 booktitle    = {Proc. of LICS},
 publisher    = {IEEE Computer Society},
 pages        = {59--68},
 doi          = {10.1109/LICS.2006.39},
)
@article(parrow08,
 author       = {J. Parrow},
 year         = {2008},
 title        = {{Expressiveness of Process Algebras}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {209},
 pages        = {173--186},
 doi          = {10.1016/j.entcs.2008.04.011},
)
@article(parrow2014abstraction,
 author       = {J. Parrow},
 year         = {2014},
 title        = {General conditions for full abstraction},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 number       = {4},
 pages        = {655--657},
 doi          = {10.1017/S0960129514000280},
)
@inproceedings(parrowSjoedin92,
 author       = {J. Parrow and P. Sj{\"o}din},
 year         = {1992},
 title        = {{Multiway Synchronization Verified with Coupled Simulation}},
 booktitle    = {Proc. of CONCUR},
 series       = {LNCS},
 volume       = {630},
 pages        = {518--533},
 doi          = {10.1007/BFb0084813},
)
@phdthesis(perez09,
 author       = {J.A. Perez},
 year         = {2009},
 title        = {{Higher-Order Concurrency: Expressiveness and Decidability Results}},
 type         = {Ph.d. thesis},
 school       = {University of Bologna},
)
@phdthesis(peters12,
 author       = {K. Peters},
 year         = {2012},
 title        = {{Translational Expressiveness}},
 school       = {TU Berlin},
 url          = {http://opus.kobv.de/tuberlin/volltexte/2012/3749/},
)
@inproceedings(petersGlabbeek15,
 author       = {K. Peters and R. van Glabbeek},
 year         = {2015},
 title        = {{Analysing and Comparing Encodability Criteria}},
 booktitle    = {Proc. of EXPRESS/SOS},
 series       = {EPTCS},
 volume       = {190},
 pages        = {46--60},
 doi          = {10.4204/EPTCS.190.4},
)
@article(archiveOfFormalProofs15,
 author       = {K. Peters and R. van Glabbeek},
 year         = {2015},
 title        = {{Analysing and Comparing Encodability Criteria for Process Calculi}},
 journal      = {Archive of Formal Proofs},
 note         = {\url{http://isa-afp.org/entries/Encodability_Process_Calculi.shtml}},
)
@inproceedings(petersNestmann12,
 author       = {K. Peters and U. Nestmann},
 year         = {2012},
 title        = {{Is It a ``Good'' Encoding of Mixed Choice?}},
 booktitle    = {Proc. of FoSSaCS},
 series       = {LNCS},
 volume       = {7213},
 pages        = {210--224},
 doi          = {10.1007/978-3-642-28729-9\_14},
)
@inproceedings(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},
)
@phdthesis(petri62,
 author       = {C.A. Petri},
 year         = {1962},
 title        = {{Kommunikation mit Automaten}},
 school       = {Institut f{\"u}r Instrumentelle Mathematik, Bonn},
)
@inproceedings(riecke91,
 author       = {J.G. Riecke},
 year         = {1991},
 title        = {{Fully abstract translations between functional languages}},
 booktitle    = {Proc. of POPL},
 publisher    = {ACM},
 pages        = {245--254},
 doi          = {10.1145/99583.99617},
)
@inproceedings(sangiorgi94,
 author       = {D. Sangiorgi},
 year         = {1994},
 title        = {{An investigation into functions as processes}},
 booktitle    = {Proc. of MFPS},
 series       = {LNCS},
 volume       = {802},
 pages        = {143--159},
 doi          = {10.1007/3-540-58027-1\_7},
)
@article(sangiorgi09,
 author       = {D. Sangiorgi},
 year         = {2009},
 title        = {{On the Origins of Bisimulation and Coinduction}},
 journal      = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume       = {31},
 number       = {4},
 pages        = {1--15},
 doi          = {10.1145/1516507.1516510},
)
@inproceedings(victorParrow96,
 author       = {B. Victor and J. Parrow},
 year         = {1996},
 title        = {{Constraints as Processes}},
 booktitle    = {Proc. of CONCUR},
 series       = {LNCS},
 volume       = {1119},
 pages        = {389--405},
 doi          = {10.1007/3-540-61604-7\_66},
)
@article(vigliottiPhillipsPalamidessi07,
 author       = {M.G. Vigliotti and I. Phillips and C. Palamidessi},
 year         = {2007},
 title        = {{Tutorial on separation results in process calculi via leader election problems}},
 journal      = {Theoretical Computer Science},
 volume       = {388},
 number       = {1--3},
 pages        = {267--289},
 doi          = {10.1016/j.tcs.2007.09.001},
)
@inproceedings(yoshida96,
 author       = {N. Yoshida},
 year         = {1996},
 title        = {{Graph Types for Monadic Mobile Processes}},
 booktitle    = {Proc. of FST\&TCS},
 series       = {LNCS},
 volume       = {1180},
 pages        = {371--386},
 doi          = {10.1007/3-540-62034-6\_64},
)