Work

Primitives for Contract-based Synchronization

Year: 2010

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.38.8

Authors: Massimo Bartoletti, Roberto Zunino

Institutions: University of Cagliari, University of Trento

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Ministero dell’Istruzione, dell’Università e della Ricerca, Regione Autonoma della Sardegna

OpenAlex ID: W2084277808

FWCI: 3.363

Cites: 27

Cited by: 4

Related to: 10