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): Loosening the notions of compliance and sub-behaviour in client/server systems. In: Proceedings 7th ICE 2014, EPTCS 166, pp. 94–110, doi:10.4204/EPTCS.166.10.
  3. Franco Barbanera & Ugo de' Liguoro (2014): Sub-behaviour relations for session-based client/server systems. Math. Struct. in Comp. Science, doi:10.1017/S096012951400005X. To appear, published online.
  4. Massimo Bartoletti, Tiziana Cimoli & G. Michele Pinna (2014): A note on two notions of compliance. In: Proceedings 7th ICE 2014, EPTCS 166, pp. 86–93, doi:10.4204/EPTCS.166.9.
  5. Massimo Bartoletti, Alceste Scalas & Roberto Zunino (2014): A semantic deconstruction of session types. In: Proc. CONCUR, pp. 402–418, doi:10.1007/978-3-662-44584-6_28.
  6. Davide Basile, Pierpaolo Degano & Gian Luigi Ferrari (2014): Automata for Analysing Service Contracts. In: TGC 2014, LNCS 8902, pp. 34–50, doi:10.1007/978-3-662-45917-1-3.
  7. Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari & Emilio Tuosto (2014): From Orchestration to Choreography through Contract Automata. In: Proc. ICE'14, EPTCS 166, pp. 67–85, doi:10.4204/EPTCS.166.8.
  8. Giovanni Bernardi & Matthew Hennessy (2012): Modelling session types using contracts. In: Proceedings of 27th Annual ACM SAC '12. ACM, New York, NY, USA, pp. 1941–1946, doi:10.1145/2231936.2232097.
  9. Giovanni Bernardi & Matthew Hennessy (2014): Modelling session types using contracts. Math. Struct. in Comp. Science, doi:10.1017/S0960129514000243. To appear, published online..
  10. Giovanni Bernardi & Matthew Hennessy (2015): Mutually Testing Processes. 24h CoRR abs/1502.06360, doi:10.1007/978-3-642-40184-8_6.
  11. Daniel Brand & Pitro Zafiropulo (1983): On Communicating Finite-State Machines. JACM 30(2), pp. 323–342, doi:10.1145/322374.322380.
  12. 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.
  13. 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.
  14. L. Clemente, F. Herbreteau & G. Sutre (2014): Decidable Topologies for Communicating Automata with FIFO and Bag Channels. In: Proc. CONCUR'14, LNCS 8704, doi:10.1007/978-3-662-44584-6_20.
  15. Pierre-Malo Deniélou & Nobuko Yoshida (2012): Multiparty Session Types Meet Communicating Automata. In: ESOP, pp. 194–213, doi:10.1007/978-3-642-28869-2_10.
  16. 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.
  17. O. H. Ibarra, J. Su, Z. Dang, T. Bultan & R. Kemmerer (2000): Counter Machines: Decidable Properties and Applications to Verification Problems. In: MFCS 2000, LNCS 1893, doi:10.1007/3-540-44612-5-38.
  18. Cosimo Laneve & Luca Padovani (2007): The Must Preorder Revisited: An Algebraic Theory for Web Services Contracts. In: CONCUR'07, LNCS 4703. Springer, pp. 212–225, doi:10.1007/978-3-540-74407-8_15.
  19. Luca Padovani (2010): Contract-Based Discovery of Web Services Modulo Simple Orchestrators. Theoretical Computer Science 411, pp. 3328–3347, doi:10.1016/j.tcs.2010.05.002.
  20. Chris Peltz (2003): Web Services Orchestration and Choreography. Computer 36(10), pp. 46–52, doi:10.1109/MC.2003.1236471.

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