Determinacy in a synchronous pi-calculus

Details Determinacy in a synchronous pi-calculus Determinacy in a synchronous pi-calculus

2007-07-04

arxiv.org/abs/0707.0556v2

From semantics to computer science: essays in honor of Gilles Kahn, Y. Bertot et al. (Ed.) (2009) 1-27

Computer Science

Logic in Computer Science

To appear in the book `From semantics to computer science: essays in honor of Gilles Kahn', Cambridge University Press

Scientific paper

The S-pi-calculus is a synchronous pi-calculus which is based on the SL model. The latter is a relaxation of the Esterel model where the reaction to the absence of a signal within an instant can only happen at the next instant. In the present work, we present and characterise a compositional semantics of the S-pi-calculus based on suitable notions of labelled transition system and bisimulation. Based on this semantic framework, we explore the notion of determinacy and the related one of (local) confluence.

Affiliated with

Also associated with

No associations

Rating

Determinacy in a synchronous 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 Determinacy in a synchronous pi-calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Determinacy in a synchronous pi-calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-547162