Abstract
/spl mu/-Charts are a Statechart-like language which is designed for specifying reactive systems. This paper extends the language of /spl mu/-charts with a new parallel operator; it defines a formal semantics for the language, and then it explores the semantic properties of the extended language. The paper concludes with a simple case study to illustrate how the language may be used to specify and reason about reactive systems.
