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.

@inproceedings{HuizingG91,
  title = {Semantics of Reactive Systems in Abstract Time},
  author = {Cornelis Huizing and Rob Gerth},
  year = {1991},
  tags = {semantics},
  researchr = {https://researchr.org/publication/HuizingG91},
  cites = {0},
  citedby = {0},
  pages = {291-314},
  booktitle = {Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings},
  editor = {J. W. de Bakker and Cornelis Huizing and Willem P. de Roever and Grzegorz Rozenberg},
  volume = {600},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55564-1},
}