Bibtex Record:
@workingpaper{
Author = {Reeve, G.R. and Reeves, S.V.},
Title = {The syntax and semantics of m-Charts},
Publisher = {Department of Computer Science, The University of Waikato},
Number = {04/2004},
Pages = {1-65},
Month = {February},
Abstract = {m-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 [1]. Development of the m-Charts language is ongoing research undertaken under the auspices of the Formal Methods Laboratory of the Computer Science Department, University of Waikato [5]. This paper gives a comprehensive treatment of the syntax and semantic for m-Charts.},
Year = {2004}
}