Determinacy in a synchronous pi-calculus

Roberto Amadio (1) , Mehdi Dogguy (1)

1 PPS - Preuves, Programmes et Systèmes

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 study the notions of determinacy and (local) confluence for the S-pi-calculus and we introduce a typing system that guarantees determinacy.

Domaines: Logique en informatique [cs.LO]

Roberto Amadio, Mehdi Dogguy. Determinacy in a synchronous pi-calculus. 2007. ⟨hal-00159764v1⟩