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.

Authors

Cornelis Huizing

This author has not been identified. Look up 'Cornelis Huizing' in Google

Rob Gerth

This author has not been identified. Look up 'Rob Gerth' in Google