Synchrony vs Causality in the Asynchronous Pi-Calculus

Details Synchrony vs Causality in the Asynchronous Pi-Calculus Synchrony vs Causality in the Asynchronous Pi-Calculus

2011-08-23

arxiv.org/abs/1108.4469v1

EPTCS 64, 2011, pp. 89-103

Computer Science

Logic in Computer Science

In Proceedings EXPRESS 2011, arXiv:1108.4077

Scientific paper

10.4204/EPTCS.64.7

We study the relation between process calculi that differ in their either synchronous or asynchronous interaction mechanism. Concretely, we are interested in the conditions under which synchronous interaction can be implemented using just asynchronous interactions in the pi-calculus. We assume a number of minimal conditions referring to the work of Gorla: a "good" encoding must be compositional and preserve and reflect computations, deadlocks, divergence, and success. Under these conditions, we show that it is not possible to encode synchronous interactions without introducing additional causal dependencies in the translation.

Affiliated with

Also associated with

No associations

Rating

Synchrony vs Causality in the Asynchronous Pi-Calculus 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 Synchrony vs Causality in the Asynchronous Pi-Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Synchrony vs Causality in the Asynchronous Pi-Calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-66572