Full abstraction of a denotational semantics for real-time concurrency

Research output: Book/ReportReportAcademic

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

Publication series

NameComputing science notes
Volume8609

Cite this