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.

Abstract

Abstract is missing.