Operational and Compositional Semantics of Synchronous Automaton Compositions (1992)

Cached

Download Links

by Florence Maraninchi
Citations:90 - 14 self