1. Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos & Hugo Torres Vieira (2012): A Type System for Flexible Role Assignment in Multiparty Communicating Systems. In: Catuscia Palamidessi & Mark Dermot Ryan: TGC 2012, Lecture Notes in Computer Science 8191. Springer, pp. 82–96. Available at
  2. Eduardo Bonelli, Adriana B. Compagnoni & Elsa L. Gunter (2005): Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2), pp. 219–247. Available at
  3. Viviana Bono, Sara Capecchi, Ilaria Castellani & Mariangiola Dezani-Ciancaglini (2011): A Reputation System for Multirole Sessions. In: Roberto Bruni & Vladimiro Sassone: TGC, Lecture Notes in Computer Science 7173. Springer, pp. 1–24. Available at
  4. Luís Caires & Hugo Torres Vieira (2010): Conversation types. Theoretical Computer Science 411(51-52), pp. 4399–4440. Available at
  5. Sara Capecchi, Ilaria Castellani & Mariangiola Dezani-Ciancaglini (2011): Information Flow Safety in Multiparty Sessions. In: Bas Luttik & Frank Valencia: EXPRESS, EPTCS 64, pp. 16–30. Available at
  6. Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Tamara Rezk (2010): Session Types for Access and Information Flow Control. In: Paul Gastin & François Laroussinie: CONCUR, Lecture Notes in Computer Science 6269. Springer, pp. 237–252. Available at
  7. Pierre-Malo Deniélou & Nobuko Yoshida (2011): Dynamic multirole session types. In: Thomas Ball & Mooly Sagiv: POPL. ACM, pp. 435–446. Available at
  8. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksi\'c & Jovanka Pantovi\'c (2011): Types for Role-Based Access Control of Dynamic Web Data. In: Julio Mariño: WFLP 2010, Lecture Notes in Computer Science 6559. Springer, pp. 1–29. Available at
  9. Alessandro Lapadula, Rosario Pugliese & Francesco Tiezzi (2007): Regulating Data Exchange in Service Oriented Applications. In: Farhad Arbab & Marjan Sirjani: FSEN, Lecture Notes in Computer Science 4767. Springer, pp. 223–239. Available at
  10. Davide Sangiorgi & David Walker (2001): The Pi-Calculus - a theory of mobile processes. Cambridge University Press.

Comments and questions to:
For website issues: