Primitives for Contract-based Synchronization

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 38, Issue , 2010, Pages 67-82

  Bartoletti, Massimo ^a   Zunino, Roberto ^b  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE;

CONCURRENT CONSTRAINT; GRAPH REWRITING; PI CALCULUS; TWO DIRECTIONS;

CALCULATIONS;

EID: 84863501115     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.38.8     Document Type: Conference Paper

References (26)

1. Massimo Bartoletti and Roberto Zunino. A logic for contracts. Technical Report DISI-09-034, DISI - Università di Trento, 2009.
2. Massimo Bartoletti and Roberto Zunino. A calculus of contracting processes. In Proc. LICS, 2010.
3. Simon Bliudze and Joseph Sifakis. The algebra of connectors-structuring interaction in BIP. IEEE Transactions on Computers, 57(10), 2008.
4. Laura Bocchi, Cosimo Laneve, and Gianluigi Zavattaro. A calculus for long running transactions. In Proc. FMOODS, 2003.
5. Roberto Bruni, Hernán C. Melgratti, and Ugo Montanari. Theoretical foundations for compensations in flow composition languages. In Proc. POPL, 2005.
6. Roberto Bruni and Ugo Montanari. Models for open transactions (extended abstract). Technical Report RR-385, Department of Informatics, University of Oslo, 2009.
7. Maria Grazia Buscemi and Hernán C. Melgratti. Transactional service level agreement. In Proc. TGC, 2007.
8. Maria Grazia Buscemi and Ugo Montanari. CC-Pi: A constraint-based language for specifying service level agreements. In Proc. ESOP, 2007.
9. Maria Grazia Buscemi and Ugo Montanari. Open bisimulation for the Concurrent Constraint Pi-Calculus. In Proc. ESOP, 2008.
10. Michael J. Butler, C. A. R. Hoare, and Carla Ferreira. A trace semantics for long-running transactions. In Communicating Sequential Processes: The First 25 Years, 2004.
11. Samuele Carpineti and Cosimo Laneve. A basic contract language for web services. In Proc. ESOP, 2006.
12. Giuseppe Castagna, Nils Gesbert, and Luca Padovani. A theory of contracts for web services. ACM Trans. on Prog. Lang. and Systems, 31(5), 2009.
13. Giuseppe Castagna and Luca Padovani. Contracts for mobile processes. In Proc. CONCUR, 2009.
14. David Gelernter. Generative communication in Linda. ACM Trans. on Prog. Lang. and Systems, 7(1), 1985.
15. Daniele Gorla. Towards a unified approach to encodability and separation results for process calculi. In Proc. CONCUR, 2008.
16. Joseph Y. Halpern and Yoram Moses. Knowledge and common knowledge in a distributed environment. J. ACM, 37(3), 1990.
17. Ivan Lanese and Ugo Montanari. Mapping fusion and synchronized hyperedge replacement into logic programming. Theory and Practice of Logic Programming, 7(1-2), 2007.
18. Ivan Lanese and Emilio Tuosto. Synchronized hyperedge replacement for heterogeneous systems. In COORDINATION, 2005.
19. Robin Milner, Joachim Parrow, and David Walker. A Calculus of Mobile Processes, I and II. Information and Computation, 100(1), 1992.
20. Luca Padovani. Contract-based discovery and adaptation of web services. In Proc. SFM, 2009.
21. Grzegorz Rozenberg, editor. Handbook of graph grammars and computing by graph transformation: volume I. foundations. World Scientific Publishing Co., Inc., 1997.
22. Davide Sangiorgi and David Walker. The π-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.
23. Vijay Saraswat. Concurrent Constraint Programming. MIT Press, 1993.
24. Vijay Saraswat, Prakash Panangaden, and Martin Rinard. Semantic foundations of concurrent constraint programming. In Proc. POPL, 1991.
25. Anne Troelstra and Dirk van Dalen. Constructivism in Mathematics, vol. 1. North-Holland, 1988.
26. Jianying Zhou. Non-repudiation in Electronic Commerce. Artech House, 2001.