References

  1. M. Bartoletti, A. Scalas, E. Tuosto & R. Zunino (2013): Honesty by Typing. In: FMOODS/FORTE, pp. 305–320. Available at http://dx.doi.org/10.1007/978-3-642-38592-6_21.
  2. M. Bartoletti, E. Tuosto & R. Zunino (2011): Contracts in distributed systems. In: ICE, pp. 130–147. Available at http://dx.doi.org/10.4204/EPTCS.59.11.
  3. M. Bartoletti, E. Tuosto & R. Zunino (2012): Contract-oriented Computing in CO_2. Scientific Annals in Comp. Sci. 22(1), pp. 5–60. Available at http://dx.doi.org/10.7561/SACS.2012.1.5.
  4. M. Bartoletti, E. Tuosto & R. Zunino (2012): On the Realizability of Contracts in Dishonest Systems. In: COORDINATION. Available at http://dx.doi.org/10.1007/978-3-642-30829-1_17.
  5. M. Bartoletti & R. Zunino (2010): A Calculus of Contracting Processes. In: LICS. Available at http://doi.ieeecomputersociety.org/10.1109/LICS.2010.25.
  6. M. Bravetti, I. Lanese & G. Zavattaro (2009): Contract-Driven Implementation of Choreographies. In: TGC, LNCS 5474. Available at http://dx.doi.org/10.1007/978-3-642-00945-7_1.
  7. M. Bravetti & G. Zavattaro (2008): A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Inform. 89(4). Available at http://iospress.metapress.com/content/x7613955410077k2/.
  8. G. Castagna, M. Dezani-Ciancaglini & L. Padovani (2012): On Global Types and Multi-Party Session. Logical Methods in Comp. Sci. 8(1). Available at http://dx.doi.org/10.2168/LMCS-8(1:24)2012.
  9. G. Castagna, N. Gesbert & L. Padovani (2009): A theory of contracts for Web services. ACM Trans. on Prog. Lang. and Sys. 31(5). Available at http://doi.acm.org/10.1145/1538917.1538920.
  10. P.M. Deniélou & N. Yoshida (2012): Multiparty Session Types Meet Communicating Automata. In: ESOP. Available at http://dx.doi.org/10.1007/978-3-642-28869-2_10.
  11. K. Honda, N. Yoshida & M. Carbone (2008): Multiparty asynchronous session types. In: POPL. Available at http://doi.acm.org/10.1145/1328438.1328472.
  12. I. Lanese, C. Guidi, F. Montesi & G. Zavattaro (2008): Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM '08. Available at http://dx.doi.org/10.1109/SEFM.2008.11.
  13. J. Lange & A. Scalas (2013): Choreography Synthesis as Contract Agreement + Appendix. Available at http://tcs.unica.it/publications.
  14. J. Lange & E. Tuosto (2012): Synthesising Choreographies from Local Session Types. In: CONCUR. Available at http://dx.doi.org/10.1007/978-3-642-32940-1_17.
  15. OASIS (2012): Reference Architecture Foundation for Service Oriented Architecture. Comm. Spec. 01, v.1.0. Available at http://docs.oasis-open.org/soa-rm/soa-ra/v1.0/cs01/soa-ra-v1.0-cs01.html.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org