1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. Davide Sangiorgi & David Walker (2001): The Pi-Calculus - a theory of mobile processes. Cambridge University Press.
  12. 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.
  13. 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.

Comments and questions to:
For website issues: