Operational and Compositional Semantics of Synchronous Automaton Compositions.

Florence Maraninchi

Browse the full CONCUR paper archive.