Primitives for Contract-based Synchronization

Details Primitives for Contract-based Synchronization Primitives for Contract-based Synchronization

2010-10-27

arxiv.org/abs/1010.5570v1

EPTCS 38, 2010, pp. 67-82

Computer Science

Programming Languages

In Proceedings ICE 2010, arXiv:1010.5308

Scientific paper

10.4204/EPTCS.38.8

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.

Affiliated with

Also associated with

No associations

Rating

Primitives for Contract-based Synchronization does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Primitives for Contract-based Synchronization, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Primitives for Contract-based Synchronization will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-484646