@article(cardelli05,
 author       = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
 year         = {2005},
 title        = {Secrecy and group creation},
 journal      = {Inf. Comput.},
 volume       = {196},
 number       = {2},
 pages        = {127--155},
 doi          = {10.1016/j.ic.2004.08.003},
)
@article(crafa07,
 author       = {Silvia Crafa and Sabina Rossi},
 year         = {2007},
 title        = {Controlling information release in the pi-calculus},
 journal      = {Inf. Comput.},
 volume       = {205},
 number       = {8},
 pages        = {1235--1273},
 doi          = {10.1016/j.ic.2007.01.001},
)
@inproceedings(DBLP:conf/popl/FournetG96,
 author       = {C{\'{e}}dric Fournet and Georges Gonthier},
 year         = {1996},
 title        = {The Reflexive {CHAM} and the Join-Calculus},
 editor       = {Hans{-}Juergen Boehm and Guy L. Steele Jr.},
 booktitle    = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996},
 publisher    = {{ACM} Press},
 pages        = {372--385},
 doi          = {10.1145/237721.237805},
)
@article(DBLP:journals/acta/GayH05,
 author       = {Simon J. Gay and Malcolm Hole},
 year         = {2005},
 title        = {Subtyping for session types in the pi calculus},
 journal      = {Acta Inf.},
 volume       = {42},
 number       = {2-3},
 pages        = {191--225},
 doi          = {10.1007/s00236-005-0177-z},
)
@inproceedings(giunti12,
 author       = {Marco Giunti and Catuscia Palamidessi and Frank D. Valencia},
 year         = {2012},
 title        = {Hide and New in the Pi-Calculus},
 editor       = {Bas Luttik and Michel A. Reniers},
 booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012.},
 series       = {{EPTCS}},
 volume       = {89},
 pages        = {65--79},
 doi          = {10.4204/EPTCS.89.6},
)
@article(DBLP:journals/iandc/Gorla10,
 author       = {Daniele Gorla},
 year         = {2010},
 title        = {Towards a unified approach to encodability and separation results for process calculi},
 journal      = {Inf. Comput.},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@article(hennessy05,
 author       = {Matthew Hennessy},
 year         = {2005},
 title        = {The security pi-calculus and non-interference},
 journal      = {J. Log. Algebr. Program.},
 volume       = {63},
 number       = {1},
 pages        = {3--34},
 doi          = {10.1016/j.jlap.2004.01.003},
)
@inproceedings(DBLP:conf/ecoop/HondaT91,
 author       = {Kohei Honda and Mario Tokoro},
 year         = {1991},
 title        = {An Object Calculus for Asynchronous Communication},
 editor       = {Pierre America},
 booktitle    = {ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {512},
 publisher    = {Springer},
 pages        = {133--147},
 doi          = {10.1007/BFb0057019},
)
@inproceedings(DBLP:conf/esop/HondaVK98,
 author       = {Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
 editor       = {Chris Hankin},
 booktitle    = {Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@article(DBLP:journals/lmcs/KouzapasP17,
 author       = {Dimitrios Kouzapas and Anna Philippou},
 year         = {2017},
 title        = {Privacy by typing in the {$\pi$}-calculus},
 journal      = {Logical Methods in Computer Science},
 volume       = {13},
 number       = {4},
 pages        = {1--42},
 doi          = {10.23638/LMCS-13(4:27)2017},
)
@article(merro04,
 author       = {Massimo Merro and Davide Sangiorgi},
 year         = {2004},
 title        = {On asynchrony in name-passing calculi},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {14},
 number       = {5},
 pages        = {715--767},
 doi          = {10.1017/S0960129504004323},
)
@book(DBLP:books/sp/Milner80,
 author       = {Robin Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {92},
 publisher    = {Springer},
 doi          = {10.1007/3-540-10235-3},
)
@inproceedings(DBLP:conf/concur/Milner92,
 author       = {Robin Milner},
 year         = {1992},
 title        = {The Polyadic Pi-calculus (Abstract)},
 editor       = {Rance Cleaveland},
 booktitle    = {{CONCUR} '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {630},
 publisher    = {Springer},
 pages        = {1},
 doi          = {10.1007/BFb0084778},
)
@article(DBLP:journals/tcs/Sangiorgi96a,
 author       = {Davide Sangiorgi},
 year         = {1996},
 title        = {pi-Calculus, Internal Mobility, and Agent-Passing Calculi},
 journal      = {Theor. Comput. Sci.},
 volume       = {167},
 number       = {1{\&}2},
 pages        = {235--274},
 doi          = {10.1016/0304-3975(96)00075-8},
)
@book(pi-calculus,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {The Pi-Calculus - a theory of mobile processes},
 publisher    = {Cambridge University Press},
)
@article(solove2005taxonomy,
 author       = {Daniel J Solove},
 year         = {2005},
 title        = {A taxonomy of privacy},
 journal      = {U. Pa. L. Rev.},
 volume       = {154},
 pages        = {477},
 doi          = {10.2307/40041279},
)
@inproceedings(DBLP:conf/fm/TschantzW09,
 author       = {Michael Carl Tschantz and Jeannette M. Wing},
 year         = {2009},
 title        = {Formal Methods for Privacy},
 editor       = {Ana Cavalcanti and Dennis Dams},
 booktitle    = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5850},
 publisher    = {Springer},
 pages        = {1--15},
 doi          = {10.1007/978-3-642-05089-3\_1},
)
@article(DBLP:journals/iandc/Vasconcelos12,
 author       = {Vasco T. Vasconcelos},
 year         = {2012},
 title        = {Fundamentals of session types},
 journal      = {Inf. Comput.},
 volume       = {217},
 pages        = {52--70},
 doi          = {10.1016/j.ic.2012.05.002},
)
@article(vivas02,
 author       = {Jos{\'{e}}{-}Luis Vivas and Nobuko Yoshida},
 year         = {2002},
 title        = {Dynamic Channel Screening in the Higher Order pi-Calculus},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {66},
 number       = {3},
 pages        = {170--184},
 doi          = {10.1016/S1571-0661(04)80421-3},
)
@article(westin2003social,
 author       = {Alan F Westin},
 year         = {2003},
 title        = {Social and political dimensions of privacy},
 journal      = {Journal of social issues},
 volume       = {59},
 number       = {2},
 pages        = {431--453},
 doi          = {10.1111/1540-4560.00072},
)