Full abstraction of a denotational semantics for real-time concurrency

C. Huizing, R.T. Gerth, W.P. Roever, de

Research output: Book/ReportReportAcademic

87 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages28
Publication statusPublished - 1986

Publication series

NameComputing science notes
Volume8609

Cite this

Huizing, C., Gerth, R. T., & Roever, de, W. P. (1986). Full abstraction of a denotational semantics for real-time concurrency. (Computing science notes; Vol. 8609). Technische Universiteit Eindhoven.