pith. sign in

arxiv: 1010.5570 · v1 · pith:27MFYS44new · submitted 2010-10-27 · 💻 cs.PL · cs.LO· cs.SE

Primitives for Contract-based Synchronization

Massimo Bartoletti (Dipartimento di Matematica e Informatica , Universit\`a degli Studi di Cagliari) , Roberto Zunino (Dipartimento di Ingegneria e Scienza dell'Informazione , Universit\`a degli studi di Trento) This is my paper
classification 💻 cs.PL cs.LOcs.SE
keywords primitivescontract-basedcontractssynchronizationcalculusconcurrencyconcurrentconstraints
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.