References

  1. Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl & Karsten Wolf (2010): Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. 53(1), pp. 90–106, doi:10.1093/comjnl/bxn064.
  2. Martín Abadi, Michael Burrows, Butler Lampson & Gordon Plotkin (1993): A calculus for access control in distributed systems. ACM TOPLAS 4(15), pp. 706–734, doi:10.1145/155183.155225.
  3. Martín Abadi & Gordon D. Plotkin (1993): A Logical View of Composition. Theoretical Computer Science 114(1), pp. 3–30, doi:10.1016/0304-3975(93)90151-I.
  4. Michael Armbrust (2010): A view of cloud computing. Comm. ACM 53(4), pp. 50–58, doi:10.1145/1721654.1721672.
  5. Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino & Roberto Zunino: Contract agreements via logic. Available online at tcs.unica.it/papers/ces-pcl-long.pdf.
  6. Massimo Bartoletti, Tiziana Cimoli & G. Michele Pinna (2013): Lending Petri nets and contracts. In: Proc. FSEN, LNCS 8161. Springer, doi:10.1007/978-3-642-40213-5_5.
  7. Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna & Roberto Zunino: Circular causality in event structures. Submitted. Available online at tcs.unica.it/papers/ces-long.pdf. A preliminary version of this paper has been presented at ICTCS 2012.
  8. Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna & Roberto Zunino (2012): An event-based model for contracts. In: Proc. PLACES, doi:10.4204/EPTCS.109.3.
  9. Massimo Bartoletti, Tiziana Cimoli & Roberto Zunino (2013): A theory of agreements and protection. In: Proc. POST, LNCS 7796. Springer, doi:10.1007/978-3-642-36830-1_10.
  10. Massimo Bartoletti, Emilio Tuosto & Roberto Zunino (2012): Contract-oriented Computing in CO_2. Scientific Annals in Computer Science 22(1), pp. 5–60, doi:10.7561/SACS.2012.1.5.
  11. Massimo Bartoletti & Roberto Zunino (2010): A Calculus of Contracting Processes. In: LICS, doi:10.1109/LICS.2010.25.
  12. Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010): A theory of design-by-contract for distributed multiparty interactions. In: CONCUR, doi:10.1007/978-3-642-15375-4_12.
  13. Mario Bravetti, Ivan Lanese & Gianluigi Zavattaro (2008): Contract-Driven Implementation of Choreographies. In: Proc. TGC, pp. 1–18, doi:10.1007/978-3-642-00945-7_1.
  14. Mario Bravetti & Gianluigi Zavattaro (2007): Contract Based Multi-party Service Composition. In: Proc. FSEN, pp. 207–222, doi:10.1007/978-3-540-75698-9_14.
  15. Giuseppe Castagna, Nils Gesbert & Luca Padovani (2009): A theory of contracts for Web services. ACM TOPLAS 31(5), doi:10.1145/1538917.1538920.
  16. G. Decker, O. Kopp, F. Leymann & M Weske (2007): BPEL4Chor: Extending BPEL for Modeling Choreographies. In: Proc. ICWS.
  17. Jonathan Gelati, Antonino Rotolo, Giovanni Sartor & Guido Governatori (2004): Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artificial Intelligence and Law 12(1-2), pp. 53–81, doi:10.1007/s10506-004-1922-2.
  18. Thomas T. Hildebrandt & Raghava Rao Mukkamala (2010): Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. In: Proc. PLACES, doi:10.4204/EPTCS.69.5.
  19. Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011): Scribbling Interactions with a Formal Foundation. In: Distributed Computing and Internet Technology, LNCS 6536. Springer, pp. 55–75, doi:10.1007/978-3-642-19056-8_4.
  20. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty asynchronous session types. In: POPL, pp. 273–284, doi:10.1145/1328438.1328472.
  21. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon & C Barreto (2005): Web Services Choreography Description Language V. 1.0.
  22. Alessio Lomuscio, Wojciech Penczek, Monika Solanki & Maciej Szreter (2011): Runtime Monitoring of Contract Regulated Web Services. Fundam. Inform. 111(3), doi:10.3233/FI-2011-566.
  23. Cristian Prisacariu & Gerardo Schneider (2012): A Dynamic Deontic Logic for Complex Contracts. The Journal of Logic and Algebraic Programming (JLAP) 81(4), doi:10.1016/j.jlap.2012.03.003.
  24. Franco Raimondi, James Skene & Wolfgang Emmerich (2008): Efficient online monitoring of web-service SLAs. In: SIGSOFT FSE, doi:10.1145/1453101.1453125.
  25. Richard Statman (1979): Intuitionistic propositional logic is polynomial-space complete. Theoretical Computer Science 9, pp. 67–72, doi:10.1016/0304-3975(79)90006-9.
  26. Glynn Winskel (1986): Event Structures. In: Advances in Petri Nets, pp. 325–392, doi:10.1007/3-540-17906-2_31.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org