References

  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 http://dx.doi.org/10.1007/978-3-642-41157-1_6.
  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 http://dx.doi.org/10.1017/S095679680400543X.
  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 http://dx.doi.org/10.1007/978-3-642-30065-3_1.
  4. Luís Caires & Hugo Torres Vieira (2010): Conversation types. Theoretical Computer Science 411(51-52), pp. 4399–4440. Available at http://dx.doi.org/10.1016/j.tcs.2010.09.010.
  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 http://dx.doi.org/10.4204/EPTCS.64.2.
  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 http://dx.doi.org/10.1007/978-3-642-15375-4_17.
  7. Pierre-Malo Deniélou & Nobuko Yoshida (2011): Dynamic multirole session types. In: Thomas Ball & Mooly Sagiv: POPL. ACM, pp. 435–446. Available at http://doi.acm.org/10.1145/1926385.1926435.
  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 http://dx.doi.org/10.1007/978-3-642-20775-4_1.
  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 http://dx.doi.org/10.1007/978-3-540-75698-9_15.
  10. Davide Sangiorgi & David Walker (2001): The Pi-Calculus - a theory of mobile processes. Cambridge University Press.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org