@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(Bocchi2004119,
 author       = {Laura Bocchi and Lucian Wischik},
 year         = {2004},
 title        = {A Process Calculus of Atomic Commit},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {105},
 number       = {0},
 pages        = {119 -- 132},
 doi          = {10.1016/j.entcs.2004.05.003},
 note         = {Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004)},
)
@incollection(Fournet99bisimulationsin,
 author       = {M. Boreale and C. Fournet and C. Laneve},
 year         = {1998},
 title        = {Bisimulations in the Join-Calculus},
 booktitle    = {Programming Concepts and Methods PROCOMET ’98},
 series       = {IFIP — The International Federation for Information Processing},
 publisher    = {Springer US},
 pages        = {68--86},
 doi          = {10.1007/978-0-387-35358-6\_9},
)
@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},
)
@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},
 doi          = {10.1.1.15.577},
)
@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       = {De Nicola, Rocco 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},
)
@inproceedings(Fournet_thereflexive,
 author       = {Cedric Fournet and Georges Gonthier},
 title        = {The reflexive CHAM and the join-calculus},
 booktitle    = {Proceedings of the 23rd ACM Symposium on Principles of Programming Languages},
 publisher    = {ACM Press},
 pages        = {372--385},
 doi          = {10.1.1.495.7510},
)
@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       = {Given-Wilson, Thomas},
 year         = {2012},
 title        = {Concurrent Pattern Unification},
 publisher    = {PhD thesis, University of Technology, Sydney},
 address      = {Australia},
)
@inproceedings(DBLP:journals/corr/Given-Wilson14,
 author       = {Given{-}Wilson, Thomas},
 year         = {2014},
 title        = {An Intensional Concurrent Faithful Encoding of Turing Machines},
 editor       = {Ivan Lanese and Lluch{-}Lafuente, Alberto and Ana Sokolova and Hugo Torres Vieira},
 booktitle    = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014.},
 series       = {{EPTCS}},
 volume       = {166},
 pages        = {21--37},
 doi          = {10.4204/EPTCS.166.4},
)
@inproceedings(givenwilson:hal-01026301,
 author       = {Given-Wilson, Thomas},
 year         = {2014},
 title        = {{On the Expressiveness of Intensional Communication}},
 booktitle    = {{Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics}},
 address      = {Rome, Italie},
 doi          = {10.4204/EPTCS.160.4},
)
@incollection(GivenWilsonGorla13,
 author       = {Given-Wilson, Thomas and Daniele Gorla},
 year         = {2013},
 title        = {Pattern Matching and Bisimulation},
 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       = {Given-Wilson, Thomas and Daniele Gorla and Barry Jay},
 year         = {2010},
 title        = {Concurrent Pattern Calculus},
 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       = {Given-Wilson, Thomas and Daniele Gorla and Barry Jay},
 year         = {2014},
 title        = {{A Concurrent Pattern Calculus}},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 number       = {3},
 doi          = {10.2168/LMCS-10(3:10)2014},
)
@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},
)
@inproceedings(honda1991object,
 author       = {Kohei Honda and Mario Tokoro},
 year         = {1991},
 title        = {An object calculus for asynchronous communication},
 booktitle    = {ECOOP'91 European Conference on Object-Oriented Programming},
 organization = {Springer},
 pages        = {133--147},
 doi          = {10.1.1.53.4500},
)
@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},
)
@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},
)
@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(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},
)
@inproceedings(DBLP:conf/popl/SchmittS03,
 author       = {Alan Schmitt and Jean{-}Bernard Stefani},
 year         = {2003},
 title        = {The m-calculus: a higher-order distributed process calculus},
 booktitle    = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003},
 pages        = {50--61},
 doi          = {10.1145/640128.604136},
)
@incollection(UBN07,
 author       = {Christian Urban and Stefan Berghofer and Michael Norrish},
 year         = {2007},
 title        = {Barendregt’s Variable Convention in Rule Inductions},
 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},
)