The syntax and semantics of μ-Charts
Reeve, G. & Reeves, S. (2004). The syntax and semantics of μ-Charts. (Working paper 04/2004). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Permanent Research Commons link: https://hdl.handle.net/10289/1000
μ-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.
University of Waikato, Department of Computer Science
- 2004 Working Papers