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.
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.
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.
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.
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.
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.
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.
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.
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.
Davide Sangiorgi & David Walker (2001):
The Pi-Calculus - a theory of mobile processes.
Cambridge University Press.