@inproceedings(BaltazarCVV12,
 author       = "Pedro Baltazar and Lu\'{\i }s Caires and Vasco T. Vasconcelos and Hugo Torres Vieira",
 year         = "2012",
 title        = "A Type System for Flexible Role Assignment in Multiparty Communicating Systems",
 editor       = "Catuscia Palamidessi and Mark Dermot Ryan",
 booktitle    = "TGC 2012",
 series       = "Lecture Notes in Computer Science",
 volume       = "8191",
 publisher    = "Springer",
 pages        = "82--96",
 url          = "http://dx.doi.org/10.1007/978-3-642-41157-1_6",
)
@article(BonelliCG05,
 author       = "Eduardo Bonelli and Adriana B. Compagnoni and Elsa L. Gunter",
 year         = "2005",
 title        = "Correspondence assertions for process synchronization in concurrent communications",
 journal      = "J. Funct. Program.",
 volume       = "15",
 number       = "2",
 pages        = "219--247",
 url          = "http://dx.doi.org/10.1017/S095679680400543X",
)
@inproceedings(BonoCCD11,
 author       = "Viviana Bono and Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini",
 year         = "2011",
 title        = "A Reputation System for Multirole Sessions",
 editor       = "Roberto Bruni and Vladimiro Sassone",
 booktitle    = "TGC",
 series       = "Lecture Notes in Computer Science",
 volume       = "7173",
 publisher    = "Springer",
 pages        = "1--24",
 url          = "http://dx.doi.org/10.1007/978-3-642-30065-3_1",
)
@article(cairvier10,
 author       = "Lu\'{\i }s Caires and Hugo Torres Vieira",
 year         = "2010",
 title        = "Conversation types",
 journal      = "Theoretical Computer Science",
 volume       = "411",
 number       = "51-52",
 pages        = "4399--4440",
 url          = "http://dx.doi.org/10.1016/j.tcs.2010.09.010",
)
@inproceedings(abs-1108-4465,
 author       = "Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini",
 year         = "2011",
 title        = "Information Flow Safety in Multiparty Sessions",
 editor       = "Bas Luttik and Frank Valencia",
 booktitle    = "EXPRESS",
 series       = "EPTCS",
 volume       = "64",
 pages        = "16--30",
 url          = "http://dx.doi.org/10.4204/EPTCS.64.2",
)
@inproceedings(CapecchiCDR10,
 author       = "Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Tamara Rezk",
 year         = "2010",
 title        = "Session Types for Access and Information Flow Control",
 editor       = "Paul Gastin and Fran\c {c}ois Laroussinie",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "237--252",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_17",
)
@inproceedings(DenielouY11,
 author       = "Pierre-Malo Deni{\'e}lou and Nobuko Yoshida",
 year         = "2011",
 title        = "Dynamic multirole session types",
 editor       = "Thomas Ball and Mooly Sagiv",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "435--446",
 url          = "http://doi.acm.org/10.1145/1926385.1926435",
)
@inproceedings(dezaghiljakspant11,
 author       = "Mariangiola Dezani-Ciancaglini and Silvia Ghilezan and Svetlana Jaksi\'c and Jovanka Pantovi\'c",
 year         = "2011",
 title        = "Types for Role-Based Access Control of Dynamic Web Data",
 editor       = "Julio Mari{\~n}o",
 booktitle    = "WFLP 2010",
 series       = "Lecture Notes in Computer Science",
 volume       = "6559",
 publisher    = "Springer",
 pages        = "1--29",
 url          = "http://dx.doi.org/10.1007/978-3-642-20775-4_1",
)
@inproceedings(Lapadula07,
 author       = "Alessandro Lapadula and Rosario Pugliese and Francesco Tiezzi",
 year         = "2007",
 title        = "Regulating Data Exchange in Service Oriented Applications",
 editor       = "Farhad Arbab and Marjan Sirjani",
 booktitle    = "FSEN",
 series       = "Lecture Notes in Computer Science",
 volume       = "4767",
 publisher    = "Springer",
 pages        = "223--239",
 url          = "http://dx.doi.org/10.1007/978-3-540-75698-9_15",
)
@book(SangiorgiW01,
 author       = "Davide Sangiorgi and David Walker",
 year         = "2001",
 title        = "The Pi-Calculus - a theory of mobile processes",
 publisher    = "Cambridge University Press",
)