3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2009★ 1 cited
On stratified regions
Roberto Amadio
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable s…
cs.LO2007★ 3 cited
Determinacy in a synchronous pi-calculus
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…
cs.LO2006★ 1 cited
A synchronous pi-calculus
Roberto Amadio
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 in…