Martín Abadi & Cédric Fournet (2001):
Mobile values, new names, and secure communication.
In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
ACM,
pp. 104–115,
doi:10.1145/360204.360213.
Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos & Hugo Torres Vieira (2012):
A Type System for Flexible Role Assignment in Multiparty Communicating Systems.
In: Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers,
LNCS 8191.
Springer,
pp. 82–96,
doi:10.1007/978-3-642-41157-1_6.
Marco Carbone & Sergio Maffeis (2002):
On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Electr. Notes Theor. Comput. Sci. 68(2),
pp. 15–32,
doi:10.1016/S1571-0661(05)80361-5.
David G. Clarke, John Potter & James Noble (1998):
Ownership Types for Flexible Alias Protection.
In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998.
ACM,
pp. 48–64,
doi:10.1145/286936.286947.
Silvano Dal-Zilio & Andrew D. Gordon (2002):
Region analysis and a pi-calculus with groups.
J. Funct. Program. 12(3),
pp. 229–292,
doi:10.1017/S0956796801004270.
Juliana Franco & Vasco Thudichum Vasconcelos (2013):
A Concurrent Programming Language with Refined Session Types.
In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers,
LNCS 8368.
Springer,
pp. 15–28,
doi:10.1007/978-3-319-05032-4_2.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez & Hugo Torres Vieira (2014):
Dynamic Role Authorization in Multiparty Conversations.
In: Proceedings Third Workshop on Behavioural Types, BEAT 2014,
EPTCS 162,
pp. 1–8,
doi:10.4204/EPTCS.162.1.
Marco Giunti, Catuscia Palamidessi & Frank D. Valencia (2012):
Hide and New in the Pi-Calculus.
In: Proceedings of the Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012,
EPTCS 89,
pp. 65–79,
doi:10.4204/EPTCS.89.6.
Daniele Gorla & Rosario Pugliese (2009):
Dynamic management of capabilities in a network aware coordination language.
J. Log. Algebr. Program. 78(8),
pp. 665–689,
doi:10.1016/j.jlap.2008.12.001.
Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: Programming Languages and Systems, 7th European Symposium on Programming, ESOP 1998, Proceedings,
LNCS 1381.
Springer,
pp. 122–138,
doi:10.1007/BFb0053567.
Davide Sangiorgi & David Walker (2001):
The Pi-Calculus - a theory of mobile processes.
Cambridge University Press.
Nikhil Swamy, Juan Chen & Ravi Chugh (2010):
Enforcing Stateful Authorization and Information Flow Policies in Fine.
In: Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Proceedings,
LNCS 6012.
Springer,
pp. 529–549,
doi:10.1007/978-3-642-11957-6_28.
José-Luis Vivas & Nobuko Yoshida (2002):
Dynamic Channel Screening in the Higher Order pi-Calculus.
Electr. Notes Theor. Comput. Sci. 66(3),
pp. 170–184,
doi:10.1016/S1571-0661(04)80421-3.