article · arXiv (Cornell University) · 2010

Primitives for Contract-based Synchronization

Cited by 0Open access

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.

Cite this paper

APA 7

Bartoletti, M., & Zunino, R. (2010). Primitives for Contract-based Synchronization. arXiv (Cornell University). https://doi.org/10.48550/arxiv.1010.5570

MLA 9

Bartoletti, Massimo, and Roberto Zunino. “Primitives for Contract-based Synchronization.” arXiv (Cornell University), 2010, https://doi.org/10.48550/arxiv.1010.5570.

Chicago

Bartoletti, Massimo, and Roberto Zunino. 2010. “Primitives for Contract-based Synchronization.” arXiv (Cornell University). https://doi.org/10.48550/arxiv.1010.5570.

Harvard

Bartoletti, M. and Zunino, R. (2010) ‘Primitives for Contract-based Synchronization’, arXiv (Cornell University). Available at: https://doi.org/10.48550/arxiv.1010.5570.

BibTeX

@article{bartoletti2010primitives,
  title = {{Primitives for Contract-based Synchronization}},
  author = {Bartoletti, Massimo and Zunino, Roberto},
  journal = {arXiv (Cornell University)},
  year = {2010},
  doi = {10.48550/arxiv.1010.5570}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.