Compositionality and modularity in process specification and design : a trace-state based approach

J. Zwiers, W.P. Roever, de

Research output: Book/ReportReportAcademic

211 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages27
Publication statusPublished - 1989

Publication series

NameComputing science notes
Volume8904

Cite this