Operational and compositional semantics of synchronous automaton compositions (1992)

by F MARANINCHI
Venue:in Third International Conference on Concurrency Theory (CONCUR '92