A synchronous pi-calculus

  title={A synchronous pi-calculus},
  author={Roberto M. Amadio},
  journal={Inf. Comput.},
The SL synchronous programming model is a relaxation of the Esterel synchronous model where the reaction to the absence of a signal within an instant can only happen at the next instant. In previous work, we have revisited the SL synchronous programming model. In particular, we have discussed an alternative design of the model, introduced a CPS translation to a tail recursive form, and proposed a notion of bisimulation equivalence. In the present work, we extend the tail recursive model with… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 35 references

The SL Synchronous Language

IEEE Trans. Software Eng. • 1996
View 4 Excerpts
Highly Influenced

Communication and concurrency

PHI Series in computer science • 1989
View 10 Excerpts
Highly Influenced

Algèbre de Processus et Synchronisation

Theor. Comput. Sci. • 1984
View 9 Excerpts
Highly Influenced

Calculi for Synchrony and Asynchrony

Theor. Comput. Sci. • 1983
View 9 Excerpts
Highly Influenced

Reactive programming

R. Amadio, G. Boudol, F. Boussinot, I. Castellani
revisited. In Proc. Workshop on Algebraic Process Calculi: the first 25 years and beyond, Electronic Notes in Theoretical Computer Science, 162:49-60 • 2006
View 2 Excerpts

Reactive programming , revisited

I. Castellani, D. Sangiorgi
Proc . Workshop on Algebraic Process Calculi : the first 25 years and beyond , Electronic Notes in Theoretical Computer Science • 2006


L. Mandel, M. Pouzet
a reactive extension to ML. In Proc. ACM Principles and Practice of Declarative Programming, pages 82–93 • 2005
View 3 Excerpts

Similar Papers

Loading similar papers…