Compositional semantics of non-deterministic synchronous languages (1996)

by F MARANINCHI, N HALBWACHS
Venue:in Sixth European Symposium on Programming (ESOP '96