Loading...
Thumbnail Image
Item

The syntax and semantics of μ-Charts

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.
Type
Working Paper
Type of thesis
Series
Computer Science Working Papers
Citation
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.
Date
2004-02
Publisher
University of Waikato, Department of Computer Science
Degree
Supervisors
Rights