Semantics of reactive systems in abstract time

C. Huizing, R.T. Gerth

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

25 Citations (Scopus)
Original languageEnglish
Title of host publicationReal-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991)
EditorsJ.W. Bakker, de, W.P. Roever, de, G. Rozenberg
Place of PublicationBerlin
PublisherSpringer
Pages291-314
ISBN (Print)3-540-55564-1
DOIs
Publication statusPublished - 1992

Publication series

NameLecture Notes in Computer Science
Volume600
ISSN (Print)0302-9743

Cite this

Huizing, C., & Gerth, R. T. (1992). Semantics of reactive systems in abstract time. In J. W. Bakker, de, W. P. Roever, de, & G. Rozenberg (Eds.), Real-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991) (pp. 291-314). (Lecture Notes in Computer Science; Vol. 600). Springer. https://doi.org/10.1007/BFb0031997