Feasible reactivity in a synchronous Pi-calculus.

Roberto M. Amadio, Frdric Dabrowski

Browse the full PPDP paper archive.