@inproceedings(Abadi:1997:CCP:266420.266432,
 author       = "Mart\'{\i }n Abadi and Andrew D. Gordon",
 year         = "1997",
 title        = "A Calculus for Cryptographic Protocols: The Spi Calculus",
 booktitle    = "Proceedings of the 4th ACM Conference on Computer and Communications Security",
 series       = "CCS '97",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "36--47",
 doi          = "10.1145/266420.266432",
)
@article(BJPV11,
 author       = "Jesper Bengtson and Magnus Johansson and Joachim Parrow and Bj{\"o}rn Victor",
 year         = "2011",
 title        = "Psi-calculi: a framework for mobile processes with nominal data and logic",
 journal      = "Logical Methods in Computer Science",
 volume       = "7",
 number       = "1",
 doi          = "10.2168/LMCS-7(1:11)2011",
)
@article(BP09,
 author       = "Jesper Bengtson and Joachim Parrow",
 year         = "2009",
 title        = "Formalising the pi-calculus using nominal logic",
 journal      = "Logical Methods in Computer Science",
 volume       = "5",
 number       = "2",
 doi          = "10.2168/LMCS-5(2:16)2009",
)
@inproceedings(DBLP:conf/tgc/BorgstromGPVP13,
 author       = "Johannes Borgstr{\"o}m and Ramunas Gutkovas and Joachim Parrow and Bj{\"o}rn Victor and Johannes {\r A}man Pohjola",
 year         = "2013",
 title        = "A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)",
 booktitle    = "Trustworthy Global Computing",
 pages        = "103--118",
 doi          = "10.1007/978-3-319-05119-2{\_}7",
)
@incollection(Boudol:1989:NAC:101969.101981,
 author       = "G. Boudol",
 year         = "1985",
 title        = "Notes on Algebraic Calculi of Processes",
 editor       = "Krzysztof R. Apt",
 booktitle    = "Logics and Models of Concurrent Systems",
 publisher    = "Springer-Verlag New York, Inc.",
 address      = "New York, NY, USA",
 pages        = "261--303",
 doi          = "10.1007/978-3-642-82453-1{\_}9",
)
@article(journals/iandc/BusiGZ00,
 author       = "Nadia Busi and Roberto Gorrieri and Gianluigi Zavattaro",
 year         = "2000",
 title        = "On the Expressiveness of Linda Coordination Primitives.",
 journal      = "Information and Computation",
 volume       = "156",
 number       = "1-2",
 pages        = "90--121",
 doi          = "10.1006/inco.1999.2823",
)
@article(Carbone:2003:EPP:941344.941346,
 author       = "Marco Carbone and Sergio 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",
 url          = "http://dl.acm.org/citation.cfm?id=941344.941346",
)
@inproceedings(DBLP:conf/fossacs/CardelliG98,
 author       = "Luca Cardelli and Andrew D. Gordon",
 year         = "1998",
 title        = "Mobile Ambients",
 booktitle    = "Foundations of Software Science and Computation Structures: First International Conference, {FoSSaCS '98}",
 pages        = "140--155",
 doi          = "10.1007/BFb0053547",
)
@article(Castagna:2008:SSP:1367144.1367262,
 author       = "Giuseppe Castagna and Rocco De Nicola and Daniele Varacca",
 year         = "2008",
 title        = "Semantic Subtyping for the Pi-calculus",
 journal      = "Theoretical Computer Science",
 volume       = "398",
 number       = "1-3",
 pages        = "217--242",
 doi          = "10.1016/j.tcs.2008.01.049",
)
@article(DeNicola:2006:EPK:1148743.1148750,
 author       = "Rocco De Nicola and Daniele Gorla and Rosario Pugliese",
 year         = "2006",
 title        = "On the Expressive Power of KLAIM-based Calculi",
 journal      = "Theoretical Computer Science",
 volume       = "356",
 number       = "3",
 pages        = "387--421",
 doi          = "10.1016/j.tcs.2006.02.007",
)
@article(Gel85,
 author       = "David Gelernter",
 year         = "1985",
 title        = "Generative communication in {{\sc Linda}}",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "7",
 number       = "1",
 pages        = "80--112",
 doi          = "10.1145/2363.2433",
)
@book(GivenWilsonPHD,
 author       = "Thomas Given-Wilson",
 year         = "2012",
 title        = "Concurrent Pattern Unification",
 publisher    = "PhD thesis, University of Technology, Sydney",
 address      = "Australia",
)
@inproceedings(givenwilson:hal-00987594,
 author       = "Thomas Given-Wilson",
 year         = "2014",
 title        = "{An Intensional Concurrent Faithful Encoding of Turing Machines}",
 booktitle    = "{7th Interaction and Concurrency Experience (ICE 2014)}",
 address      = "Berlin, Germany",
 url          = "http://hal.inria.fr/hal-00987594",
)
@inproceedings(GW:ICTAC14,
 author       = "Thomas Given-Wilson",
 year         = "2014",
 title        = "Expressiveness via Intensionality and Concurrency",
 booktitle    = "To appear in: Proceedings of the 11th International Colloquium on Theoretical Aspects of Computing",
 series       = "ICTAC 2014",
 url          = "http://arxiv.org/abs/1404.0956",
)
@incollection(GivenWilsonGorla13,
 author       = "Thomas Given-Wilson and Daniele Gorla",
 year         = "2013",
 title        = "Pattern Matching and Bisimulation",
 editor       = "Rocco De Nicola and Christine Julien",
 booktitle    = "Coordination Models and Languages",
 series       = "Lecture Notes in Computer Science",
 volume       = "7890",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "60--74",
 doi          = "10.1007/978-3-642-38493-6{\_}5",
)
@incollection(GivenWilsonGorlaJay10,
 author       = "Thomas Given-Wilson and Daniele Gorla and Barry Jay",
 year         = "2010",
 title        = "Concurrent Pattern Calculus",
 editor       = "Cristian S. Calude and Vladimiro Sassone",
 booktitle    = "Theoretical Computer Science",
 series       = "IFIP Advances in Information and Communication Technology",
 volume       = "323",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "244--258",
 doi          = "10.1007/978-3-642-15240-5{\_}18",
)
@article(givenwilson:hal-00987578,
 author       = "Thomas Given-Wilson and Daniele Gorla and Barry Jay",
 year         = "2014",
 title        = "{A Concurrent Pattern Calculus}",
 journal      = "To appear in: Logical Methods in Computer Science",
 url          = "http://hal.inria.fr/hal-00987578",
)
@article(20110307:getting_the_goods,
 author       = "Thomas Given-Wilson and Barry Jay",
 year         = "2011",
 title        = "Getting the Goods with Concurrent {\bf bondi}",
 journal      = "Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)",
)
@inproceedings(gla12,
 author       = "Rob 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(G:IC08,
 author       = "D. Gorla",
 year         = "2008",
 title        = "Comparing Communication Primitives via their Relative Expressive Power",
 journal      = "Information and Computation",
 volume       = "206",
 number       = "8",
 pages        = "931--952",
 doi          = "10.1016/j.ic.2008.05.001",
)
@article(G:DC10,
 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(G:CONCUR08,
 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(Haack:2006:PS:1165126.1165127,
 author       = "Christian Haack and Alan Jeffrey",
 year         = "2006",
 title        = "Pattern-matching Spi-calculus",
 journal      = "Information and Computation",
 volume       = "204",
 number       = "8",
 pages        = "1195--1263",
 doi          = "10.1016/j.ic.2006.04.004",
)
@article(Haagensen200885,
 author       = "Bj{\o }rn Haagensen and Sergio Maffeis and Iain Phillips",
 year         = "2008",
 title        = "Matching Systems for Concurrent Calculi",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "194",
 number       = "2",
 pages        = "85 -- 99",
 doi          = "10.1016/j.entcs.2007.11.004",
 note         = "Proceedings of the 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007)",
)
@article(Honda95onreduction-based,
 author       = "Kohei Honda and Nobuko Yoshida",
 year         = "1995",
 title        = "On reduction-based process semantics",
 journal      = "Theoretical Computer Science",
 volume       = "152",
 pages        = "437--486",
 doi          = "10.1016/0304-3975(95)00074-7",
)
@article(Jay2011,
 author       = "Barry Jay and Thomas Given-Wilson",
 year         = "2011",
 title        = "A combinatory account of internal structure",
 journal      = "Journal of Symbolic Logic",
 volume       = "76",
 number       = "3",
 pages        = "807--826",
 doi          = "10.2178/jsl/1309952521",
)
@inproceedings(LPSS10,
 author       = "Ivan Lanese and Jorge A. P{\'e}rez and Davide Sangiorgi and Alan Schmitt",
 year         = "2010",
 title        = "On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi",
 booktitle    = "Proceedings of International Colloquium on Automata, Languages and Programming (ICALP)",
 series       = "LNCS",
 volume       = "6199",
 publisher    = "Springer",
 pages        = "442--453",
 doi          = "10.1007/978-3-642-14162-1{\_}37",
)
@inproceedings(Lanese:2010:EPP:2175486.2175506,
 author       = "Ivan Lanese and C\'{a}tia Vaz and Carla Ferreira",
 year         = "2010",
 title        = "On the Expressive Power of Primitives for Compensation Handling",
 booktitle    = "Proceedings of the 19th European Conference on Programming Languages and Systems",
 series       = "ESOP'10",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "366--386",
 doi          = "10.1007/978-3-642-11957-6{\_}20",
)
@inproceedings(milner:polyadic-tutorial,
 author       = "Robin Milner",
 year         = "1993",
 title        = "The Polyadic $\pi $-Calculus: A Tutorial",
 booktitle    = "Logic and Algebra of Specification",
 series       = "Series F",
 volume       = "94",
 organization = "NATO ASI",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-58041-3{\_}6",
)
@article(Milner:1992:CMP:162037.162038,
 author       = "Robin Milner and Joachim Parrow and David Walker",
 year         = "1992",
 title        = "A Calculus of Mobile Processes, {I}",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "1",
 pages        = "1--40",
 doi          = "10.1016/0890-5401(92)90008-4",
)
@article(Milner:1992:CMP:162037.162039,
 author       = "Robin Milner and Joachim Parrow and David Walker",
 year         = "1992",
 title        = "A Calculus of Mobile Processes, {II}",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "1",
 pages        = "41--77",
 doi          = "10.1016/0890-5401(92)90009-5",
)
@article(10.1109/32.685256,
 author       = "Rocco De Nicola and Gian Luigi Ferrari and Rosario Pugliese",
 year         = "1998",
 title        = "{KLAIM: A} Kernel Language for Agents Interaction and Mobility",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "24",
 number       = "5",
 pages        = "315--330",
 doi          = "10.1109/32.685256",
)
@inproceedings(DBLP:journals/corr/abs-1011-6436,
 author       = "Lasse Nielsen and Nobuko Yoshida and Kohei Honda",
 year         = "2010",
 title        = "Multiparty Symmetric Sum Types",
 booktitle    = "Proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010)",
 pages        = "121--135",
 doi          = "10.4204/EPTCS.41.9",
)
@article(Palamidessi:2003:CEP:966707.966709,
 author       = "Catuscia Palamidessi",
 year         = "2003",
 title        = "Comparing the Expressive Power of the Synchronous and Asynchronous pi-calculi",
 journal      = "Mathematical. Structures in Comp. Sci.",
 volume       = "13",
 number       = "5",
 pages        = "685--719",
 doi          = "10.1017/S0960129503004043",
)
@inproceedings(705654,
 author       = "J. Parrow and B. Victor",
 year         = "1998",
 title        = "The fusion calculus: expressiveness and symmetry in mobile processes",
 booktitle    = "Proceedings of Thirteenth Annual IEEE Symposium on Logic in Computer Science",
 pages        = "176--185",
 doi          = "10.1109/LICS.1998.705654",
)
@article(Parrow:2008:EPA:1365089.1365211,
 author       = "Joachim 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",
)
@inproceedings(Saraswat:1991:SFC:99583.99627,
 author       = "Vijay A. Saraswat and Martin Rinard and Prakash Panangaden",
 year         = "1991",
 title        = "The Semantic Foundations of Concurrent Constraint Programming",
 booktitle    = "Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 series       = "POPL '91",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "333--352",
 doi          = "10.1145/99583.99627",
)
@article(Simone85higher-levelsynchronising,
 author       = "Robert de Simone",
 year         = "1985",
 title        = "Higher-Level Synchronising Devices in {M}eije-{SCCS}",
 journal      = "Theoretical Computer Science",
 volume       = "37",
 pages        = "245--267",
 doi          = "10.1016/0304-3975(85)90093-3",
)
@incollection(UBN07,
 author       = "Christian Urban and Stefan Berghofer and Michael Norrish",
 year         = "2007",
 title        = "Barendregt’s Variable Convention in Rule Inductions",
 editor       = "Frank Pfenning",
 booktitle    = "Automated Deduction – CADE-21",
 series       = "Lecture Notes in Computer Science",
 volume       = "4603",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "35--50",
 doi          = "10.1007/978-3-540-73595-3{\_}4",
)