@inproceedings(BCDDDY08,
 author       = "Lorenzo Bettini and Mario Coppo and Loris D'Antoni and Marco De Luca and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida",
 year         = "2008",
 title        = "{Global Progress in Dynamically Interleaved Multiparty Sessions}",
 editor       = "Pierpaolo Degano and Rocco {De Nicola} and Jos{\'e} Meseguer",
 booktitle    = "CONCUR'08",
 series       = "LNCS",
 volume       = "5201",
 publisher    = "Springer",
 pages        = "418--433",
 url          = "http://dx.doi.org/10.1007/978-3-540-85361-9_33",
)
@inproceedings(BCDHY13,
 author       = "Laura Bocchi and Tzu-Chun Chen and Romain Demangeon and Kohei Honda and Nobuko Yoshida",
 year         = "2013",
 title        = "{Monitoring Networks through Multiparty Session Types}",
 editor       = "Dirk Beyer and Michele Boreale",
 booktitle    = "FMOODS/FORTE'13",
 series       = "LNCS",
 volume       = "7892",
 publisher    = "Springer",
 pages        = "50--65",
 url          = "http://dx.doi.org/10.1007/978-3-642-38592-6_5",
)
@article(DBLP:journals/corr/abs-1108-4465,
 author       = "Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini",
 year         = "2014",
 title        = "Information Flow Safety in Multiparty Sessions",
 journal      = "Mathematical Structures in Computer Science.",
 note         = "To appear",
)
@article(CCD12,
 author       = "Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini",
 year         = "2014",
 title        = "{Typing Access Control and Secure Information Flow in Sessions}",
 journal      = "Information and Computation.",
 url          = "http://dx.doi.org/10.1016/j.ic.2014.07.005",
)
@article(CHY12,
 author       = "Marco Carbone and Kohei Honda and Nobuko Yoshida",
 year         = "2012",
 title        = "{Structured Communication-Centered Programming for Web Services}",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "34",
 number       = "2",
 pages        = "8:1--8:78",
 url          = "http://doi.acm.org/10.1145/2220365.2220367",
)
@inproceedings(CDV14,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Betti Venneri",
 year         = "2014",
 title        = "{Self-Adaptive Monitors for Multiparty Sessions}",
 editor       = "Marco Aldinucci and Daniele {D'Agostino} and Peter Kilpatrick",
 booktitle    = "PDP'14",
 publisher    = "IEEE",
 pages        = "688--696",
 url          = "http://doi.ieeecomputersociety.org/10.1109/PDP.2014.18",
)
@article(CDPY13,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida and Luca Padovani",
 year         = "2014",
 title        = "{Global Progress for Dynamically Interleaved Multiparty Sessions}",
 journal      = "Mathematical Structures in Computer Science.",
 note         = "To appear",
)
@article(Denning76,
 author       = "Dorothy E. Denning",
 year         = "1976",
 title        = "A Lattice Model of Secure Information Flow",
 journal      = "Commun. ACM",
 volume       = "19",
 number       = "5",
 pages        = "236--243",
 url          = "http://doi.acm.org/10.1145/360051.360056",
)
@inproceedings(HKV98,
 author       = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "{Language Primitives and Type Disciplines for Structured Communication-based Programming}",
 editor       = "Chris Hankin",
 booktitle    = "ESOP'98",
 series       = "LNCS",
 volume       = "1381",
 publisher    = "Springer",
 pages        = "22--138",
 url          = "http://dx.doi.org/10.1007/BFb0053567",
)
@inproceedings(CHY08,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "{Multiparty Asynchronous Session Types}",
 editor       = "George C. Necula and Philip Wadler",
 booktitle    = "POPL'08",
 publisher    = "ACM Press",
 pages        = "273--284",
 url          = "http://doi.acm.org/10.1145/1328438.1328472",
)