The foundations of Esterel (2000)

by Gérard Berry
Venue:In Proof, Language, and Interaction: Essays in Honour of Robin Milner