References

  1. Martin Berger & Kohei Honda (2003): The Two-Phase Commitment Protocol in an Extended π-Calculus. Available at http://dx.doi.org/10.1016/S1571-0661(05)82502-2. EXPRESS'00, 7th International Workshop on Expressiveness in Concurrency.
  2. Jan A. Bergstra, Alban Ponse & Scott A. Smolka: Handbook of Process Algebra.
  3. Lorenzo Bettini, Mario Coppo, Loris D’Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008): Global Progress in Dynamically Interleaved Multiparty Sessions. In: CONCUR, LNCS 5201. Springer, pp. 418–433. Available at http://dx.doi.org/10.1007/978-3-540-85361-9_33.
  4. Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda & Nobuko Yoshida (2013): Monitoring Networks through Multiparty Session Types. In: FMOODS/FORTE, LNCS 7892. Springer, pp. 50–65. Available at http://dx.doi.org/10.1007/978-3-642-38592-6_5.
  5. Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010): A Theory of Design-by-contract for Distributed Multiparty Interactions. In: CONCUR, LNCS. Springer, pp. 162–176. Available at http://dx.doi.org/10.1007/978-3-642-15375-4_12.
  6. Viviana Bono, Sara Capecchi, Ilaria Castellani & Mariangiola Dezani-Ciancaglini (2012): A Reputation System for Multirole Sessions. In: TGC, LNCS 7173. Springer, pp. 1–24. Available at http://dx.doi.org/10.1007/978-3-642-30065-3_1.
  7. Sara Capecchi, Ilaria Castellani & Mariangiola Dezani-Ciancaglini (2011): Information Flow Safety in Multiparty Sessions. In: EXPRESS, EPTCS 64, pp. 16–31. Available at http://dx.doi.org/10.4204/EPTCS.64.2.
  8. Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Tamara Rezk (2010): Session Types for Access and Information Flow Control. In: CONCUR, LNCS 6269. Springer, pp. 237–252. Available at http://dx.doi.org/10.1007/978-3-642-15375-4_17.
  9. Marco Carbone & Fabrizio Montesi (2012): Merging Multiparty Protocols in Multiparty Choreographies. In: PLACES, EPTCS 109, pp. 21–27. Available at http://dx.doi.org/10.4204/EPTCS.109.4.
  10. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini & Luca Padovani (2012): On Global Types and Multi-Party Sessions. Log. Meth. Comp. Scie. 8, pp. 1–45. Available at http://dx.doi.org/10.2168/LMCS-8(1:24)2012.
  11. Tzu-Chun Chen (2013): Theories for Session-based Governance for Large-Scale Distributed Systems. Queen Mary, University of London, UK. Available at http://www.di.unito.it/~lambda/biblio/entry-TC2013.html.
  12. Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda & Nobuko Yoshida (2011): Asynchronous Distributed Monitoring for Multiparty Session Enforcement. In: TGC, LNCS 7454, pp. 25–45. Available at http://dx.doi.org/10.1007/978-3-642-30065-3_2.
  13. Tzu-Chun Chen & Kohei Honda (2012): Specifying Stateful Asynchronous Properties for Distributed Programs. In: CONCUR, LNCS 7454, pp. 209–224. Available at http://dx.doi.org/10.1007/978-3-642-32940-1_16.
  14. Romain Demangeon & Kohei Honda (2012): Nested Protocols in Session Types. In: CONCUR, LNCS 7454. Springer, pp. 272–286. Available at http://dx.doi.org/10.1007/978-3-642-32940-1_20.
  15. Pierre-Malo Deniélou & Nobuko Yoshida (2011): Dynamic Multirole Session Types. In: POPL. ACM, pp. 435–446. Available at http://doi.acm.org/10.1145/1926385.1926435.
  16. Yliès Falcone (2010): You Should Better Enforce Than Verify. In: Runtime Verification, LNCS. Springer, pp. 89–105. Available at http://dx.doi.org/10.1007/978-3-642-16612-9_9.
  17. Jifeng He, M. B. Josephs & C. A. R. Hoare (1990): A Theory of Synchrony and Asynchrony. Available at http://www.cs.ox.ac.uk/publications/publication8131-abstract.html. LaTeXed manuscript.
  18. Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou & Nobuko Yoshida (2012): Structuring Communication with Session Types. In: To appear in COB 2012. Available at http://mrg.doc.ic.ac.uk/publications/structuring-communication-with-session-types/main.pdf.
  19. Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011): Scribbling Interactions with a Formal Foundation. In: ICDCIT, LNCS 6536, pp. 55–75. Available at http://dx.doi.org/10.1007/978-3-642-19056-8_4.
  20. Kohei Honda & Mario Tokoro (1991): An Object Calculus for Asynchronous Communication. In: ECOOP'91, LNCS 512, pp. 133–147. Available at http://dx.doi.org/10.1007/BFb0057019.
  21. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty Asynchronous Session Types. In: POPL. ACM, pp. 273–284. Available at http://doi.acm.org/10.1145/1328438.1328472.
  22. Dimitrios Kouzapas, Nobuko Yoshida & Kohei Honda (2011): On Asynchronous Session Semantics. In: FMOODS/FORTE, pp. 228–243. Available at http://dx.doi.org/10.1007/978-3-642-21461-5_15.
  23. Ocean Observatories Initiative. http://www.oceanleadership.org/programs-and-partnerships/ocean-observing/ooi/.
  24. Olaf Owe, Martin Steffen & Arild B. Torjusen (2010): Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. ENCS 264(3), pp. 69–84. Available at http://dx.doi.org/10.1016/j.entcs.2010.12.015.
  25. Scribble Project homepage. www.scribble.org.
  26. Nobuko Yoshida, Raymond Hu, Rumyana Neykova & Nicholas Ng (2014): The Scribble Protocol Language. In: TGC 2013. Available at http://dx.doi.org/10.1007/978-3-319-05119-2_3.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org