Determinacy in a synchronous pi-calculus
Logic in Computer Science
2010-07-01 v2
Abstract
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.
Keywords
Cite
@article{arxiv.0707.0556,
title = {Determinacy in a synchronous pi-calculus},
author = {Roberto Amadio and Mehdi Dogguy},
journal= {arXiv preprint arXiv:0707.0556},
year = {2010}
}
Comments
To appear in the book `From semantics to computer science: essays in honor of Gilles Kahn', Cambridge University Press