3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Roberto Amadio, Mehdi Dogguy
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…