Semantics of Reactive Systems in Abstract Time

Cornelis Huizing, Rob Gerth. Semantics of Reactive Systems in Abstract Time. In J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Volume 600 of Lecture Notes in Computer Science, pages 291-314, Springer, 1991.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.