@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", )