@article(Ab87,
 author       = "S. Abramsky",
 year         = "1987",
 title        = "Observation equivalence as a testing equivalence",
 journal      = "Theoretical Computer Science",
 volume       = "53",
 pages        = "225--241",
 doi          = "10.1016/0304-3975(87)90065-X",
)
@book(BW90,
 author       = "J.C.M. Baeten and W.P. Weijland",
 year         = "1990",
 title        = "Process Algebra",
 series       = "Cambridge Tracts in Theoretical Computer Science 18",
 publisher    = "Cambridge University Press",
)
@inproceedings(BPV04,
 author       = "M. Baldamus and J. Parrow and B. Victor",
 year         = "2004",
 title        = "Spi Calculus Translated to $\pi $-Calculus Preserving May-Tests",
 booktitle    = "{\rm Proceedings 19th IEEE Symposium on} Logic in Computer Science {\rm (LICS 2004), July 2004, Turku, Finland}",
 publisher    = "IEEE Computer Society",
 pages        = "22--31",
 doi          = "10.1109/LICS.2004.1319597",
)
@inproceedings(BPV05,
 author       = "M. Baldamus and J. Parrow and B. Victor",
 year         = "2005",
 title        = "A Fully Abstract Encoding of the {\it pi}-Calculus with Data Terms",
 editor       = "L. Caires and G.F. Italiano and L. Monteiro and C. Palamidessi and M. Yung",
 booktitle    = "{\rm Proceedings 32nd} International Colloquium on Automata, Languages and Programming, {\rm ICALP 2005, Lisbon, Portugal, July 2005}",
 series       = "\rm LNCS",
 volume       = "3580",
 publisher    = "Springer",
 pages        = "1202--1213",
 doi          = "10.1007/11523468_97",
)
@article(BFG04,
 author       = "B. Bloom and W.J. Fokkink and R.J. van Glabbeek",
 year         = "2004",
 title        = "Precongruence Formats for Decorated Trace Semantics",
 journal      = "Transactions on Computational Logic",
 volume       = "5",
 number       = "1",
 pages        = "26--78",
 doi          = "10.1145/963927.963929",
 url          = "http://theory.stanford.edu/~rvg/abstracts.html#48",
)
@article(Boreale98,
 author       = "M. Boreale",
 year         = "1998",
 title        = "On the Expressiveness of Internal Mobility in Name-Passing Calculi",
 journal      = "Theor. Comput. Sci.",
 volume       = "195",
 number       = "2",
 pages        = "205--226",
 doi          = "10.1016/S0304-3975(97)00220-X",
)
@incollection(Bo85,
 author       = "G. Boudol",
 year         = "1985",
 title        = "Notes on algebraic calculi of processes",
 editor       = "K. Apt",
 booktitle    = "Logics and Models of Concurrent Systems",
 publisher    = "Springer",
 pages        = "261--303",
 note         = "NATO ASI Series F13",
)
@article(BHR84,
 author       = "S.D. Brookes and C.A.R. Hoare and A.W. Roscoe",
 year         = "1984",
 title        = "A theory of communicating sequential processes",
 journal      = "Journal of the ACM",
 volume       = "31",
 number       = "3",
 pages        = "560--599",
 doi          = "10.1145/828.833",
)
@inproceedings(BR85,
 author       = "S.D. Brookes and A.W. Roscoe",
 year         = "1985",
 title        = "An improved failures model for communicating processes",
 editor       = "S.D. Brookes and A.W. Roscoe and G. Winskel",
 booktitle    = "Seminar on Concurrency",
 series       = "\rm LNCS",
 volume       = "197",
 publisher    = "Springer",
 pages        = "281--305",
 doi          = "10.1007/3-540-15670-4_14",
)
@inproceedings(BusiGZ03,
 author       = "N. Busi and M. Gabbrielli and G. Zavattaro",
 year         = "2003",
 title        = "Replication vs. Recursive Definitions in Channel Based Calculi",
 editor       = "J.C.M. Baeten and J.K. Lenstra and Parrow J and G.J. Woeginger",
 booktitle    = "{\rm Proceedings 30th} International Colloquium on Automata, Languages and Programming, {\rm ICALP 2003, Eindhoven, The Netherlands}",
 series       = "\rm LNCS",
 volume       = "2719",
 publisher    = "Springer",
 pages        = "133--144",
 doi          = "10.1007/3-540-45061-0_12",
)
@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      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "194",
 number       = "2",
 pages        = "59--84",
 doi          = "10.1016/j.entcs.2007.11.006",
)
@article(CCP07,
 author       = "D. Cacciagrano and F. Corradini and C. Palamidessi",
 year         = "2007",
 title        = "Separation of synchronous and asynchronous communication via testing",
 journal      = "Theor. Comput. Sci.",
 volume       = "386",
 number       = "3",
 pages        = "218--235",
 doi          = "10.1016/j.tcs.2007.07.009",
)
@article(CarboneM03,
 author       = "M. Carbone and S. Maffeis",
 year         = "2003",
 title        = "On the Expressive Power of Polyadic Synchronisation in pi-calculus",
 journal      = "Nord. J. Comput.",
 volume       = "10",
 number       = "2",
 pages        = "70--98",
)
@article(CardelliGG02,
 author       = "L. Cardelli and G. Ghelli and A.D. Gordon",
 year         = "2002",
 title        = "Types for the Ambient Calculus",
 journal      = "Inf. Comput.",
 volume       = "177",
 number       = "2",
 pages        = "160--194",
 doi          = "10.1006/inco.2001.3121",
)
@article(CardelliG00,
 author       = "L. Cardelli and A.D. Gordon",
 year         = "2000",
 title        = "Mobile ambients",
 journal      = "Theor. Comput. Sci.",
 volume       = "240",
 number       = "1",
 pages        = "177--213",
 doi          = "10.1016/S0304-3975(99)00231-5",
)
@inproceedings(vG93,
 author       = "R.J. van Glabbeek",
 year         = "1993",
 title        = "The Linear Time -- Branching Time Spectrum {II}; The semantics of sequential systems with silent moves (extended abstract)",
 editor       = "E. Best",
 booktitle    = "{\rm Proceedings} CONCUR'93, {\rm 4$^{\it th}$ International Conference on} Concurrency Theory, {\rm Hildesheim, Germany, August 1993}",
 series       = "\rm LNCS",
 volume       = "715",
 publisher    = "Springer",
 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)",
 editor       = "A. Ponse and C. Verhoef and S.F.M. van Vlijmen",
 booktitle    = "{\rm Proceedings First Workshop on the} Algebra of Communicating Processes, {\rm ACP94, Utrecht, The Netherlands, May 1994}",
 series       = "Workshops in Computing",
 publisher    = "Springer",
 pages        = "188--217",
 url          = "http://theory.stanford.edu/~rvg/abstracts.html#31",
)
@article(Gorla10b,
 author       = "Daniele 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(Gorla10a,
 author       = "Daniele 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(HMP08,
 author       = "B. Haagensen and S. Maffeis and I. Phillips",
 year         = "2008",
 title        = "Matching Systems for Concurrent Calculi",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "194",
 number       = "2",
 pages        = "85--99",
 doi          = "10.1016/j.entcs.2007.11.004",
)
@inproceedings(HP80,
 author       = "M. Hennessy and G.D. Plotkin",
 year         = "1980",
 title        = "A term model for {CCS}",
 editor       = "P. Dembi\'{n}ski",
 booktitle    = "{\rm Proc. $9^{th}$ Symposium on} Mathematical Foundations of Computer Science",
 series       = "\rm LNCS",
 volume       = "88",
 publisher    = "Springer",
 pages        = "261--274",
 doi          = "10.1007/BFb0022510",
)
@inproceedings(Ho80,
 author       = "C.A.R. Hoare",
 year         = "1980",
 title        = "Communicating sequential processes",
 editor       = "R.M. McKeag and A.M. Macnaghten",
 booktitle    = "On the construction of programs -- an advanced course",
 publisher    = "Cambridge University Press",
 pages        = "229--254",
)
@book(Ho85,
 author       = "C.A.R. Hoare",
 year         = "1985",
 title        = "Communicating {S}equential {P}rocesses",
 publisher    = "Prentice Hall",
 address      = "Englewood Cliffs",
)
@incollection(Mi90ccs,
 author       = "R. Milner",
 year         = "1990",
 title        = "Operational and algebraic semantics of concurrent processes",
 editor       = "J. van Leeuwen",
 booktitle    = "Handbook of Theoretical Computer Science",
 chapter      = "19",
 publisher    = "Elsevier Science Publishers B.V. (North-Holland)",
 pages        = "1201--1242",
 note         = "Alternatively see{ \em Communication and Concurrency}, Prentice-Hall, Englewood Cliffs, 1989, of which an earlier version appeared as{ \em A Calculus of Communicating Systems}, LNCS 92, Springer, 1980",
)
@article(Nestmann00,
 author       = "U. Nestmann",
 year         = "2000",
 title        = "What is a "Good" Encoding of Guarded Choice?",
 journal      = "Inf. Comput.",
 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",
 editor       = "C. Baier and H. Hermanns",
 booktitle    = "{\rm Proceedings 17th International Conference on} Concurrency Theory, {\rm CONCUR 2006, Bonn, Germany, August 2006}",
 series       = "\rm LNCS",
 volume       = "4137",
 publisher    = "Springer",
 pages        = "52--63",
 doi          = "10.1007/11817949_4",
)
@article(NestmannP00,
 author       = "U. Nestmann and B.C. Pierce",
 year         = "2000",
 title        = "Decoding Choice Encodings",
 journal      = "Inf. Comput.",
 volume       = "163",
 number       = "1",
 pages        = "1--59",
 doi          = "10.1006/inco.2000.2868",
)
@article(OH86,
 author       = "E.-R. Olderog and C.A.R. Hoare",
 year         = "1986",
 title        = "Specification-oriented semantics for communicating processes",
 journal      = "Acta Informatica",
 volume       = "23",
 pages        = "9--66",
 doi          = "10.1007/BF00268075",
)
@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    = "{\rm Proceedings 21th IEEE Symposium on} Logic in Computer Science {\rm (LICS 2006), August 2006, Seattle, WA, USA}",
 publisher    = "IEEE Computer Society",
 pages        = "59--68",
 doi          = "10.1109/LICS.2006.39",
)
@article(Palamidessi05,
 author       = "C. Palamidessi and F.D. Valencia",
 year         = "2005",
 title        = "Recursion vs Replication in Process Calculi: Expressiveness",
 journal      = "Bulletin of the EATCS",
 volume       = "87",
 pages        = "105--125",
)
@inproceedings(Parrow00,
 author       = "J. Parrow",
 year         = "2000",
 title        = "Trios in concert",
 editor       = "G.D. Plotkin and C. Stirling and M. Tofte",
 booktitle    = "Proof, Language, and Interaction, Essays in Honour of Robin Milner",
 publisher    = "The MIT Press",
 pages        = "623--638",
)
@article(Parrow08,
 author       = "J. Parrow",
 year         = "2008",
 title        = "Expressiveness of Process Algebras",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "209",
 pages        = "173--186",
 doi          = "10.1016/j.entcs.2008.04.011",
)
@inproceedings(PN12,
 author       = "K. Peters and U. Nestmann",
 year         = "2012",
 title        = "Is It a "Good" Encoding of Mixed Choice?",
 editor       = "L. Birkedal",
 booktitle    = "{\rm Proceeding 15th International Conference on} Foundations of Software Science and Computational Structures, {\rm FOSSACS 2012; held as part of the} European Joint Conferences on Theory and Practice of Software, {\rm ETAPS 2012, Tallinn, Estonia, March/April 2012}",
 series       = "\rm LNCS",
 volume       = "7213",
 publisher    = "Springer",
 pages        = "210--224",
 doi          = "10.1007/978-3-642-28729-9_14",
)
@inproceedings(PSN11,
 author       = "K. Peters and J.-W. Schicke and U. Nestmann",
 year         = "2011",
 title        = "Synchrony vs Causality in the Asynchronous Pi-Calculus",
 editor       = "B. Luttik and F. Valencia",
 booktitle    = "{\rm Proceedings 18th International Workshop on} Expressiveness in Concurrency",
 series       = "EPTCS",
 volume       = "64",
 pages        = "89--103",
 doi          = "10.4204/EPTCS.64.7",
)
@article(PV06,
 author       = "I. Phillips and M.G. Vigliotti",
 year         = "2006",
 title        = "Leader election in rings of ambient processes",
 journal      = "Theor. Comput. Sci.",
 volume       = "356",
 number       = "3",
 pages        = "468--494",
 doi          = "10.1016/j.tcs.2006.02.004",
)
@article(PV08,
 author       = "I. Phillips and M.G. Vigliotti",
 year         = "2008",
 title        = "Symmetric electoral systems for ambient calculi",
 journal      = "Inf. Comput.",
 volume       = "206",
 number       = "1",
 pages        = "34--72",
 doi          = "10.1016/j.ic.2007.08.005",
)
@article(dS85,
 author       = "R. de Simone",
 year         = "1985",
 title        = "Higher-level synchronising devices in {{\sc Meije}-SCCS}",
 journal      = "Theoretical Computer Science",
 volume       = "37",
 pages        = "245--267",
 doi          = "10.1016/0304-3975(85)90093-3",
)
@article(Sti87,
 author       = "C. Stirling",
 year         = "1987",
 title        = "Modal logics for communicating systems",
 journal      = "Theoretical Computer Science",
 volume       = "49",
 pages        = "311--347",
 doi          = "10.1016/0304-3975(87)90012-0",
)
@inproceedings(Va93,
 author       = "F.W. Vaandrager",
 year         = "1993",
 title        = "Expressiveness Results for Process Algebras",
 editor       = "J.W. de Bakker and W.P. de Roever and G. Rozenberg",
 booktitle    = "Proceedings REX Workshop on Semantics: Foundations and Applications, {\rm Beekbergen, The Netherlands, June 1992}",
 series       = "\rm LNCS",
 volume       = "666",
 publisher    = "Springer",
 pages        = "609--638",
 doi          = "10.1007/3-540-56596-5\_49",
)
@article(VBG09,
 author       = "C. Versari and N. Busi and R. Gorrieri",
 year         = "2009",
 title        = "An expressiveness study of priority in process calculi",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "19",
 number       = "6",
 pages        = "1161--1189",
 doi          = "10.1017/S0960129509990168",
)
@article(VPP07,
 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      = "Theor. Comput. Sci.",
 volume       = "388",
 number       = "1-3",
 pages        = "267--289",
 doi          = "10.1016/j.tcs.2007.09.001",
)
@article(Wa90,
 author       = "D.J. Walker",
 year         = "1990",
 title        = "Bisimulation and divergence",
 journal      = "Information and Computation",
 volume       = "85",
 number       = "2",
 pages        = "202--241",
 doi          = "10.1016/0890-5401(90)90048-M",
)