@inproceedings(appliedpi,
 author       = {Mart{\'{\i}}n Abadi and C{\'{e}}dric Fournet},
 year         = {2001},
 title        = {Mobile values, new names, and secure communication},
 booktitle    = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages},
 publisher    = {{ACM}},
 pages        = {104--115},
 doi          = {10.1145/360204.360213},
)
@inproceedings(DBLP:conf/tgc/BaltazarCVV12,
 author       = {Pedro Baltazar and Lu{\'{\i}}s Caires and Vasco T. Vasconcelos and Hugo Torres Vieira},
 year         = {2012},
 title        = {A Type System for Flexible Role Assignment in Multiparty Communicating Systems},
 booktitle    = {Trustworthy Global Computing - 7th International Symposium, {TGC} 2012, Revised Selected Papers},
 series       = {LNCS},
 volume       = {8191},
 publisher    = {Springer},
 pages        = {82--96},
 doi          = {10.1007/978-3-642-41157-1\_6},
)
@article(polipi,
 author       = {Marco Carbone and Sergio Maffeis},
 year         = {2002},
 title        = {On the Expressive Power of Polyadic Synchronisation in pi-calculus},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {68},
 number       = {2},
 pages        = {15--32},
 doi          = {10.1016/S1571-0661(05)80361-5},
)
@inproceedings(DBLP:conf/oopsla/ClarkePN98,
 author       = {David G. Clarke and John Potter and James Noble},
 year         = {1998},
 title        = {Ownership Types for Flexible Alias Protection},
 booktitle    = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented Programming Systems, Languages {\&} Applications, {OOPSLA} 1998},
 publisher    = {{ACM}},
 pages        = {48--64},
 doi          = {10.1145/286936.286947},
)
@article(pigroups,
 author       = {Dal{-}Zilio, Silvano and Andrew D. Gordon},
 year         = {2002},
 title        = {Region analysis and a pi-calculus with groups},
 journal      = {J. Funct. Program.},
 volume       = {12},
 number       = {3},
 pages        = {229--292},
 doi          = {10.1017/S0956796801004270},
)
@inproceedings(DBLP:conf/sefm/FrancoV13,
 author       = {Juliana Franco and Vasco Thudichum Vasconcelos},
 year         = {2013},
 title        = {A Concurrent Programming Language with Refined Session Types},
 booktitle    = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers},
 series       = {LNCS},
 volume       = {8368},
 publisher    = {Springer},
 pages        = {15--28},
 doi          = {10.1007/978-3-319-05032-4\_2},
)
@inproceedings(DBLP:journals/corr/GhilezanJPPV14,
 author       = {Silvia Ghilezan and Svetlana Jaksic and Jovanka Pantovic and Jorge A. P{\'{e}}rez and Hugo Torres Vieira},
 year         = {2014},
 title        = {Dynamic Role Authorization in Multiparty Conversations},
 booktitle    = {Proceedings Third Workshop on Behavioural Types, {BEAT} 2014},
 series       = {{EPTCS}},
 volume       = {162},
 pages        = {1--8},
 doi          = {10.4204/EPTCS.162.1},
)
@inproceedings(Giunti,
 author       = {Marco Giunti and Catuscia Palamidessi and Frank D. Valencia},
 year         = {2012},
 title        = {Hide and New in the Pi-Calculus},
 booktitle    = {Proceedings of the Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, {EXPRESS/SOS} 2012},
 series       = {{EPTCS}},
 volume       = {89},
 pages        = {65--79},
 doi          = {10.4204/EPTCS.89.6},
)
@article(DBLP:journals/jlp/GorlaP09,
 author       = {Daniele Gorla and Rosario Pugliese},
 year         = {2009},
 title        = {Dynamic management of capabilities in a network aware coordination language},
 journal      = {J. Log. Algebr. Program.},
 volume       = {78},
 number       = {8},
 pages        = {665--689},
 doi          = {10.1016/j.jlap.2008.12.001},
)
@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},
 booktitle    = {Programming Languages and Systems, 7th European Symposium on Programming, ESOP 1998, Proceedings},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@book(DBLP:books/daglib/0004377,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {The Pi-Calculus - a theory of mobile processes},
 publisher    = {Cambridge University Press},
)
@inproceedings(DBLP:conf/esop/SwamyCC10,
 author       = {Nikhil Swamy and Juan Chen and Ravi Chugh},
 year         = {2010},
 title        = {Enforcing Stateful Authorization and Information Flow Policies in Fine},
 booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming, {ESOP} 2010, Proceedings},
 series       = {LNCS},
 volume       = {6012},
 publisher    = {Springer},
 pages        = {529--549},
 doi          = {10.1007/978-3-642-11957-6\_28},
)
@article(VivasYoshida,
 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},
)