Primitives for Contract-based Synchronization

Massimo Bartoletti
(Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari)
Roberto Zunino
(Dipartimento di Ingegneria e Scienza dell'Informazione, Università degli studi di Trento)

We investigate how contracts can be used to regulate the interaction between processes. To do that, we study a variant of the concurrent constraints calculus presented in [1], featuring primitives for multi-party synchronization via contracts. We proceed in two directions. First, we exploit our primitives to model some contract-based interactions. Then, we discuss how several models for concurrency can be expressed through our primitives. In particular, we encode the pi-calculus and graph rewriting.

In Simon Bliudze, Roberto Bruni, Davide Grohmann and Alexandra Silva: Proceedings Third Interaction and Concurrency Experience Guaranteed Interaction (ICE 2010), Amsterdam, The Netherlands, 10th of June 2010, Electronic Proceedings in Theoretical Computer Science 38, pp. 67–82.
Published: 26th October 2010.

ArXived at: https://dx.doi.org/10.4204/EPTCS.38.8 bibtex PDF

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