Skip to main navigation Skip to search Skip to main content

Full abstraction of a denotational semantics for real-time concurrency

Research output: Book/ReportReportAcademic

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

Publication series

NameComputing science notes
Volume8609

Cite this