A Compositional Real-time Semantics of STATEMATE Designs. (1998)

by W Damm, B Josko, H Hungar, A Pnueli
Venue:In Compositionality: The Significant Difference,