Pedro Baltazar
Luís Caires
Vasco T. Vasconcelos
Hugo Torres Vieira
2012
A Type System for Flexible Role Assignment in Multiparty Communicating Systems
Catuscia Palamidessi
Mark Dermot Ryan
TGC 2012
Lecture Notes in Computer Science
8191
Springer
82–96
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
219–247
http://dx.doi.org/10.1017/S095679680400543X
Viviana Bono
Sara Capecchi
Ilaria Castellani
Mariangiola Dezani-Ciancaglini
2011
A Reputation System for Multirole Sessions
Roberto Bruni
Vladimiro Sassone
TGC
Lecture Notes in Computer Science
7173
Springer
1–24
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
4399–4440
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
Bas Luttik
Frank Valencia
EXPRESS
EPTCS
64
16–30
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
Paul Gastin
François Laroussinie
CONCUR
Lecture Notes in Computer Science
6269
Springer
237–252
http://dx.doi.org/10.1007/978-3-642-15375-4_17
Pierre-Malo Deniélou
Nobuko Yoshida
2011
Dynamic multirole session types
Thomas Ball
Mooly Sagiv
POPL
ACM
435–446
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
Julio Mariño
WFLP 2010
Lecture Notes in Computer Science
6559
Springer
1–29
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
Farhad Arbab
Marjan Sirjani
FSEN
Lecture Notes in Computer Science
4767
Springer
223–239
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