A Denotational Theory of Synchronous Reactive Systems
収録刊行物
-
- Information and Computation
-
Information and Computation 99 192-230, 1992
Information and Computation 99 192-230, 1992