@article(bodeiDeganoPriami05,
 author       = "C. Bodei and P. Degano and C. Priami",
 year         = "2005",
 title        = "{Checking security policies through an enhanced Control Flow Analysis}",
 journal      = "Journal of Computer Science",
 volume       = "13",
 number       = "1",
 pages        = "49--85",
)
@article(carbone,
 author       = "M. Carbone and S. Maffeis",
 year         = "2003",
 title        = "{On the Expressive Power of Polyadic Synchronisation in the $\pi $-calculus}",
 journal      = "Nordic Journal of Computing",
 volume       = "10",
 number       = "2",
 pages        = "70--98",
)
@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(giunti13,
 author       = "M. Giunti",
 year         = "2013",
 title        = "Algorithmic type checking for a pi-calculus with name matching and session types",
 journal      = "The Journal of Logic and Algebraic Programming",
 volume       = "82",
 number       = "8",
 pages        = "263--281",
 doi          = "10.1016/j.jlap.2013.05.003",
)
@article(gorla10,
 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(gorla,
 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(gorlaNestmann,
 author       = "D. Gorla and U. Nestmann",
 year         = "2014",
 title        = "{Full Abstraction for Expressiveness: History, Myths and Facts}",
 journal      = "Mathematical Structures in Computer Science",
 note         = "To appear.",
)
@book(Milner1999,
 author       = "R. Milner",
 year         = "1999",
 title        = "{Communicating and Mobile Systems: The $\pi $-Calculus}",
 publisher    = "Cambridge University Press",
)
@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    = "Proceedings of ICALP",
 series       = "LNCS",
 volume       = "623",
 publisher    = "Springer",
 pages        = "685--695",
 doi          = "10.1007/3-540-55719-9\_114",
)
@article(palamidessi03,
 author       = "C. Palamidessi",
 year         = "2003",
 title        = "{Comparing the Expressive Power of the Synchronous and the A\-syn\-chro\-nous $\pi $-calculus}",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "13",
 number       = "5",
 pages        = "685--719",
 doi          = "10.1145/263699.263731",
)
@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",
)
@phdthesis(petphd,
 author       = "K. Peters",
 year         = "2012",
 title        = "Translational Expressiveness",
 type         = "{PhD}",
 school       = "Technische Universit\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ä}intopreamble]t Berlin",
)
@article(petersNestmann14,
 author       = "K. Peters and U. Nestmann",
 year         = "2014",
 title        = "{Breaking Symmetries}",
 journal      = "To Appear in Mathematical Structures in Computer Science",
 doi          = "10.4204/EPTCS.41.10",
)
@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",
)
@techreport(pynT14,
 author       = "K. Peters and T. Yonova-Karbe and U. Nestmann",
 year         = "2014",
 title        = "{Matching in the Pi-Calculus (Technical Report)}",
 type         = "Technical Report",
 institution  = "TU Berlin",
 note         = "Available at arXiv.org",
)
@conference(vig,
 author       = "I.C.C. Phillips and M.G. Vigliotti",
 year         = "2004",
 title        = "{Electoral Systems in Ambient Calculi}",
 booktitle    = "Proceedings of FoSSaCS",
 series       = "LNCS",
 volume       = "2987",
 pages        = "408--422",
 doi          = "10.1007/978-3-540-24727-2\_29",
)
@article(sangiorgi96,
 author       = "D. Sangiorgi",
 year         = "1996",
 title        = "{A theory of bisimulation for the $\pi $-calculus}",
 journal      = "Acta Informatica",
 volume       = "33",
 number       = "1",
 pages        = "69--97",
 doi          = "10.1007/s002360050036",
)
@book(sang,
 author       = "D. Sangiorgi and D. Walker",
 year         = "2001",
 title        = "{The $\pi $-calculus: A Theory of Mobile Processes}",
 publisher    = "Cambridge University Press",
)
@phdthesis(vivas,
 author       = "J.L.F. Vivas",
 year         = "2001",
 title        = "{Dynamic Binding of Names in Calculi for Mobile Processes}",
 type         = "{PhD}",
 school       = "Royal Institute of Technology, Sweden",
)