References

  1. Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008): Global Progress in Dynamically Interleaved Multiparty Sessions. In: Pierpaolo Degano, Rocco De Nicola & José Meseguer: CONCUR'08, LNCS 5201. Springer, pp. 418–433. Available at http://dx.doi.org/10.1007/978-3-540-85361-9_33.
  2. Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda & Nobuko Yoshida (2013): Monitoring Networks through Multiparty Session Types. In: Dirk Beyer & Michele Boreale: FMOODS/FORTE'13, LNCS 7892. Springer, pp. 50–65. Available at http://dx.doi.org/10.1007/978-3-642-38592-6_5.
  3. Sara Capecchi, Ilaria Castellani & Mariangiola Dezani-Ciancaglini (2014): Information Flow Safety in Multiparty Sessions. Mathematical Structures in Computer Science.. To appear.
  4. Sara Capecchi, Ilaria Castellani & Mariangiola Dezani-Ciancaglini (2014): Typing Access Control and Secure Information Flow in Sessions. Information and Computation.. Available at http://dx.doi.org/10.1016/j.ic.2014.07.005.
  5. Marco Carbone, Kohei Honda & Nobuko Yoshida (2012): Structured Communication-Centered Programming for Web Services. ACM Transactions on Programming Languages and Systems 34(2), pp. 8:1–8:78. Available at http://doi.acm.org/10.1145/2220365.2220367.
  6. Mario Coppo, Mariangiola Dezani-Ciancaglini & Betti Venneri (2014): Self-Adaptive Monitors for Multiparty Sessions. In: Marco Aldinucci, Daniele D'Agostino & Peter Kilpatrick: PDP'14. IEEE, pp. 688–696. Available at http://doi.ieeecomputersociety.org/10.1109/PDP.2014.18.
  7. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida & Luca Padovani (2014): Global Progress for Dynamically Interleaved Multiparty Sessions. Mathematical Structures in Computer Science.. To appear.
  8. Dorothy E. Denning (1976): A Lattice Model of Secure Information Flow. Commun. ACM 19(5), pp. 236–243. Available at http://doi.acm.org/10.1145/360051.360056.
  9. Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Chris Hankin: ESOP'98, LNCS 1381. Springer, pp. 22–138. Available at http://dx.doi.org/10.1007/BFb0053567.
  10. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty Asynchronous Session Types. In: George C. Necula & Philip Wadler: POPL'08. ACM Press, pp. 273–284. Available at http://doi.acm.org/10.1145/1328438.1328472.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org