Primitives for Contract-based Synchronization
Programming Languages
2010-10-28 v1 Logic in Computer Science
Software Engineering
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.
Keywords
Cite
@article{arxiv.1010.5570,
title = {Primitives for Contract-based Synchronization},
author = {Massimo Bartoletti and Roberto Zunino},
journal= {arXiv preprint arXiv:1010.5570},
year = {2010}
}
Comments
In Proceedings ICE 2010, arXiv:1010.5308