References

  1. Franco Barbanera & Ugo de'Liguoro (2010): Two notions of sub-behaviour for session-based client/server systems. In: PPDP. ACM Press, pp. 155–164, doi:10.1145/1836089.1836109.
  2. Franco Barbanera & Ugo de' Liguoro (2014): Sub-behaviour relations for session-based client/server systems. Math. Struct. in Comp. Science. To appear.
  3. Giovanni Bernardi & Matthew Hennessy (2014): Modelling session types using contracts. Math. Struct. in Comp. Science. To appear.
  4. S. Carpineti, G. Castagna, C. Laneve & L. Padovani (2006): A formal account of contracts for Web Services. In: WS-FM, LNCS 4184. Springer, pp. 148–162, doi:10.1007/11841197_10.
  5. Giuseppe Castagna, Nils Gesbert & Luca Padovani (2009): A theory of contracts for Web services. ACM Trans. on Prog. Lang. and Sys. 31(5), pp. 19:1–19:61, doi:10.1145/1538917.1538920.
  6. Vincent Danos & Jean Krivine (2004): Reversible Communicating Systems. In: CONCUR, LNCS 3170. Springer, pp. 292–307, doi:10.1007/978-3-540-28644-8_19.
  7. Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Disciplines for Structured Communication-based Programming. In: ESOP, LNCS 1381. Springer, pp. 22–138, doi:10.1007/BFb0053567.
  8. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty Asynchronous Session Types. In: POPL. ACM Press, pp. 273–284, doi:10.1145/1328897.1328472.
  9. I. Lanese, C. A. Mezzina, A. Schmitt & J.-B. Stefani (2011): Controlling Reversibility in Higher-Order Pi. In: CONCUR, LNCS 6901. Springer, pp. 297–311, doi:10.1007/978-3-642-23217-6_20.
  10. Ivan Lanese, Claudio Antares Mezzina & Jean-Bernard Stefani (2010): Reversing Higher-Order Pi. In: CONCUR, LNCS 6269. Springer, pp. 478–493, doi:10.1007/978-3-642-15375-4_33.
  11. Robin Milner (1989): Communication and concurrency. PHI Series in computer science. Prentice Hall.
  12. Iain C. C. Phillips & Irek Ulidowski (2007): Reversing algebraic process calculi. J. of Logic and Alg. Progr. 73(1-2), pp. 70–96, doi:10.1016/j.jlap.2006.11.002.
  13. Francesco Tiezzi & Nobuko Yoshida (2014): Towards Reversible Sessions. In: PLACES, EPTCS 155, pp. 17–24, doi:10.4204/EPTCS.155.3.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org