References

  1. Ericsson AB (2013): Erlang/OTP - System Documentation: Supervisor Module. http://www.erlang.org/doc/man/supervisor.html.
  2. Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez & Gianluigi Zavattaro (2012): Adaptable Processes. Logical Methods in Computer Science 8(4). Available at http://dx.doi.org/10.2168/LMCS-8(4:13)2012. Extended abstract in Proc. of FMOODS-FORTE'11, Springer, LNCS 6722.
  3. Marco Carbone & Søren Debois (2010): A Graphical Approach to Progress for Structured Communication in Web Services. In: Simon Bliudze, Roberto Bruni, Davide Grohmann & Alexandra Silva: ICE, EPTCS 38, pp. 13–27. Available at http://dx.doi.org/10.4204/EPTCS.38.4.
  4. Romain Demangeon & Kohei Honda (2012): Nested Protocols in Session Types. In: Maciej Koutny & Irek Ulidowski: CONCUR, Lecture Notes in Computer Science 7454. Springer, pp. 272–286. Available at http://dx.doi.org/10.1007/978-3-642-32940-1_20.
  5. Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri & Raymond Hu (2012): Parameterised Multiparty Session Types. Logical Methods in Computer Science 8(4). Available at http://dx.doi.org/10.2168/LMCS-8(4:6)2012.
  6. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro & Nobuko Yoshida (2007): On Progress for Structured Communications. In: TGC 2007, Lecture Notes in Computer Science 4912. Springer, pp. 257–275. Available at http://dx.doi.org/10.1007/978-3-540-78663-4_18.
  7. Cinzia Di Giusto & Jorge A. Pérez (2013): Disciplined structured communications with consistent runtime adaptation. In: Sung Y. Shin & José Carlos Maldonado: SAC. ACM, pp. 1913–1918. Available at http://doi.acm.org/10.1145/2480362.2480716.
  8. Cinzia Di Giusto & Jorge A. Pérez (2013): Disciplined Structured Communications with Consistent Runtime Adaptation (Extended Version). Technical Report. CITI - FCT UNL. Available at http://www.jorgeaperez.net/publications/sac13ext.pdf.
  9. Pablo Garralda, Adriana B. Compagnoni & Mariangiola Dezani-Ciancaglini (2006): BASS: boxed ambients with safe sessions. In: PPDP. ACM, pp. 61–72. Available at http://doi.acm.org/10.1145/1140335.1140344.
  10. Simon J. Gay & Malcolm Hole (2005): Subtyping for session types in the pi calculus. Acta Inf. 42(2-3), pp. 191–225. Available at http://dx.doi.org/10.1007/s00236-005-0177-z.
  11. Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: ESOP, LNCS 1381. Springer, pp. 122–138. Available at http://dx.doi.org/10.1007/BFb0053567.
  12. Nobuko Yoshida & Vasco Thudichum Vasconcelos (2007): Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. Electr. Notes Theor. Comput. Sci. 171(4), pp. 73–93. Available at http://dx.doi.org/10.1016/j.entcs.2007.02.056.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org