Primitives for Contract-based Synchronization
The work
| Authors | Massimo Bartoletti; Roberto Zunino |
|---|---|
| Editors | |
| Type | article |
| Year | 2010 |
| Citekey | bartoletti2010primitives |
Where it appeared
| Published in | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Publisher | Open Publishing Association |
| Volume | 38 |
| Pages | 67--82 |
Identifiers
| arXiv | 1010.5570 from its oa_pdf_url |
|---|---|
| DOI | 10.4204/eptcs.38.8 |
| OpenAlex | W2084277808 |
Access
| Landing page | https://doi.org/10.4204/eptcs.38.8 |
|---|---|
| Free full text | https://arxiv.org/pdf/1010.5570 |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
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.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 19:43 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{bartoletti2010primitives,
title = {Primitives for Contract-based Synchronization},
author = {Massimo Bartoletti and Roberto Zunino},
year = {2010},
journal = {Electronic Proceedings in Theoretical Computer Science},
publisher = {Open Publishing Association},
volume = {38},
pages = {67--82},
doi = {10.4204/eptcs.38.8},
}
This record lives at https://refs.drheap.org/bartoletti2010primitives/ and will keep doing so.