Show simple item record  

dc.contributor.authorReeve, Greg
dc.contributor.authorReeves, Steve
dc.date.accessioned2008-10-06T01:16:29Z
dc.date.available2008-10-06T01:16:29Z
dc.date.issued2004-02
dc.identifier.citationReeve, G. & Reeves, S. (2004). The syntax and semantics of μ-Charts. (Working paper 04/2004). Hamilton, New Zealand: University of Waikato, Department of Computer Science.en_US
dc.identifier.issn1170-487X
dc.identifier.urihttps://hdl.handle.net/10289/1000
dc.description.abstractμ-Charts is a language for specifying the behaviour of reactive systems. The language is a simplified variant of the well-known language Statecharts that was introduced by Harel. Development of the μ-Charts language is ongoing research undertaken under the auspices of the Formal Methods Laboratory of the Computer Science Department, University of Waikato. This paper gives a comprehensive treatment of the syntax and semantic for μ-Charts.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Scienceen_US
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectcomputer scienceen_US
dc.titleThe syntax and semantics of μ-Chartsen_US
dc.typeWorking Paperen_US
uow.relation.series04/2004
pubs.elements-id52763
pubs.place-of-publicationUniversity of Waikatoen_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record