@inproceedings(psiFramework09,
 author       = {J. Bengtson and M. Johansson and J. Parrow and B. Victor},
 year         = {2009},
 title        = {{Psi-calculi: Mobile Processes, Nominal Data, and Logic}},
 booktitle    = {Proceedings of LICS},
 organization = {IEEE},
 pages        = {39--48},
 doi          = {10.1109/LICS.2009.20},
)
@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(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},
)
@article(vanglabbeek01,
 author       = {R. J. 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},
 doi          = {10.1016/B978-044482830-9/50019-9},
)
@inproceedings(vG94a,
 author       = {R. J. van Glabbeek},
 year         = {1994},
 title        = {On the expressiveness of {ACP} (extended abstract)},
 booktitle    = {Proceedings of ACP},
 series       = {Workshops in Computing},
 publisher    = {Springer},
 pages        = {188--217},
 doi          = {10.1007/978-1-4471-2120-6\_8},
)
@inproceedings(vG12,
 author       = {R.J. van Glabbeek},
 year         = {2012},
 title        = {{Musings on Encodings and Expressiveness}},
 booktitle    = {Proceedings of EXPRESS/SOS},
 series       = {EPTCS},
 volume       = {89},
 pages        = {81--98},
 doi          = {10.4204/EPTCS.89.7},
)
@article(Gorla10a,
 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    = {Proceedings of EXPRESS/SOS},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {190},
 pages        = {61-75},
 doi          = {10.4204/EPTCS.190.5},
 publisher    = {Open Publishing Association},
)
@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},
)
@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},
)
@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    = {Proceedings of CONCUR},
 series       = {\rm LNCS},
 volume       = {4137},
 publisher    = {Springer},
 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},
)
@book(isabelle02,
 author       = {T. Nipkow and L. C. Paulson and M. Wenzel},
 year         = {2002},
 title        = {{Isabelle/HOL: a proof assistant for higher-order logic}},
 volume       = {2283},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/3-540-45949-9\_1},
)
@article(Palamidessi03,
 author       = {C. Palamidessi},
 year         = {2003},
 title        = {{Comparing The Expressive Power Of The Synchronous And 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    = {Proceedings 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 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},
 pages        = {1--3},
 doi          = {10.1017/S0960129514000280},
)
@inproceedings(parrowCoupled92,
 author       = {J. Parrow and P. Sj\"odin},
 year         = {1992},
 title        = {Multiway synchronization verified with coupled simulation},
 booktitle    = {Proceedings of CONCUR},
 series       = {LNCS},
 volume       = {630},
 organization = {Springer},
 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(PN12,
 author       = {K. Peters and U. Nestmann},
 year         = {2012},
 title        = {{Is it a ``Good'' Encoding of Mixed Choice?}},
 booktitle    = {Proceedings of FOSSACS},
 series       = {\rm LNCS},
 volume       = {7213},
 publisher    = {Springer},
 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    = {Proceedings of ESOP},
 series       = {LNCS},
 volume       = {7792},
 publisher    = {Springer},
 pages        = {310--329},
 doi          = {10.1007/978-3-642-37036-6\_18},
)
@inproceedings(riecke91,
 author       = {J. G. Riecke},
 year         = {1991},
 title        = {{Fully abstract translations between functional languages}},
 booktitle    = {Proceedings of POPL},
 organization = {ACM},
 pages        = {245--254},
 doi          = {10.1145/99583.99617},
)