Operational and Compositional Semantics of Synchronous Automaton Compositions

Florence Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Compositions. In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 550-564, Springer, 1992.

No reviews for this publication, yet.