@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",
)
@book(Barendregt85,
 author       = "Hendrik Pieter Barendregt",
 year         = "1984",
 title        = "The Lambda calculus: Its syntax and semantics",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@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",
)
@inproceedings(Berry:1989:CAM:96709.96717,
 author       = "Gerard Berry and Gerard Boudol",
 year         = "1990",
 title        = "The Chemical Abstract Machine",
 booktitle    = "Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 series       = "POPL '90",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "81--94",
 doi          = "10.1145/96709.96717",
)
@book(boolos2007computability,
 author       = "G.S. Boolos and J.P. Burgess and R.C. Jeffrey",
 year         = "2007",
 title        = "Computability and Logic",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511804076",
)
@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",
)
@book(Curry58combinatorylogic,
 author       = "H. B. Curry and R. Feys",
 year         = "1958",
 title        = "Combinatory Logic",
 volume       = "I",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@book(Curry72combinatorylogic,
 author       = "H. B. Curry and J. R. Hindley and J. P. Seldin",
 year         = "1972",
 title        = "Combinatory Logic",
 volume       = "II",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@book(GivenWilsonPhD,
 author       = "Thomas Given-Wilson",
 year         = "2012",
 title        = "Concurrent Pattern Unification",
 publisher    = "PhD thesis, University of Technology, Sydney",
 address      = "Australia",
)
@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       = "CristianS. 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(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",
)
@book(Kleene52,
 author       = "S.C. Kleene",
 year         = "1952",
 title        = "Introduction to Metamathematics",
 publisher    = "North-Holland (originally published by D. Van Nostrand)",
)
@article(McCarthy:1960:RFS:367177.367199,
 author       = "John McCarthy",
 year         = "1960",
 title        = "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part {I}",
 journal      = "Commun. ACM",
 volume       = "3",
 number       = "4",
 pages        = "184--195",
 doi          = "10.1145/367177.367199",
)
@incollection(90426,
 author       = "Robin Milner",
 year         = "1990",
 title        = "Functions as processes",
 editor       = "MichaelS. Paterson",
 booktitle    = "Automata, Languages and Programming",
 series       = "Lecture Notes in Computer Science",
 volume       = "443",
 pages        = "167--180",
 doi          = "10.1007/BFb0032030",
)
@book(DBLP:books/daglib/0098267,
 author       = "Robin Milner",
 year         = "1999",
 title        = "Communicating and mobile systems - the Pi-calculus",
 publisher    = "Cambridge University Press",
)
@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      = "Inf. Comput.",
 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      = "Inf. Comput.",
 volume       = "100",
 number       = "1",
 pages        = "41--77",
 doi          = "10.1016/0890-5401(92)90009-5",
)
@inproceedings(705654,
 author       = "J. Parrow and B. Victor",
 year         = "1998",
 title        = "The fusion calculus: expressiveness and symmetry in mobile processes",
 booktitle    = "Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on",
 pages        = "176--185",
 doi          = "10.1109/LICS.1998.705654",
)
@article(685558,
 author       = "M. Sch{\"o}nfinkel",
 year         = "1924",
 title        = "{\"U}ber die Bausteine der mathematischen Logik",
 journal      = "Mathematische Annalen",
 volume       = "92",
 number       = "3-4",
 pages        = "305--316",
 doi          = "10.1007/BF01448013",
)
@inproceedings(Tarski56logic,
 author       = "A. Tarski",
 year         = "1956",
 title        = "Logic, semantics, metamathematics",
 booktitle    = "Intentions in Communication",
 publisher    = "Oxford University Press",
 pages        = "325--363",
)
@article(turing36,
 author       = "A. M. Turing",
 year         = "1936",
 title        = "On Computable Numbers, with an application to the Entscheidungsproblem",
 journal      = "Proceedings of the London Mathematical Society",
 volume       = "2",
 number       = "42",
 pages        = "230--265",
 doi          = "10.1112/plms/s2-43.6.544",
)
@article(zbMATH02522537,
 author       = "A. M. {Turing}",
 year         = "1937",
 title        = "{Computability and $\lambda $-definability.}",
 journal      = "Journal of Symbolic Logic",
 volume       = "2",
 pages        = "153--163",
 doi          = "10.2307/2268280",
)