Separating functionality, behavior and timing in the design of reactive systems : (GAMMA + coordination) + time

M.R. Mousavi, T. Basten, M.A. Reniers, M.R.V. Chaudron, G. Russello

Research output: Book/ReportReportAcademic

98 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages95
Publication statusPublished - 2002

Publication series

NameComputer science reports
ISSN (Print)0926-4515

Cite this