The Esterel synchronous programming language and its mathematical semantics (1985)

by G Berry, L Cosserat
Venue:In Seminar on Concurrency, Carnegie-Mellon University