Full abstraction of a denotational semantics for real-time concurrency

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

Research output: Book/ReportReportAcademic

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

Publication series

NameComputing science notes
Volume8609

Cite this