Acompositional real-time semantics of STATEMATE designs, in Compositionality: The Signi cant Di erence (1997)

by W Damm, B Josko, H Hungar, A Pnueli
Venue:of Lecture Notes in Computer Science