%0 Conference Paper %1 goldson_03_semantic %A Goldson, Doug %A Reeve, Greg %D 2003 %J Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on %K mu-charts semantics statecharts 2003 \_pdf %P 148--155 %R http://dx.doi.org/10.1109/SEFM.2003.1236216 %T Semantic properties of µ-charts %U http://dx.doi.org/10.1109/SEFM.2003.1236216 %X /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.

@inproceedings{goldson_03_semantic, 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.}, added-at = {2009-03-10T04:49:16.000+0100}, author = {Goldson, Doug and Reeve, Greg}, biburl = {https://www.bibsonomy.org/bibtex/2c5d69c766430327d4c4ef567376acd7a/leonardo}, citeulike-article-id = {890491}, doi = {http://dx.doi.org/10.1109/SEFM.2003.1236216}, interhash = {7b53ad7d02613139b22e70c8cb073f31}, intrahash = {c5d69c766430327d4c4ef567376acd7a}, journal = {Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on}, keywords = {mu-charts semantics statecharts 2003 \_pdf}, pages = {148--155}, posted-at = {2006-10-09 23:24:45}, priority = {4}, timestamp = {2009-03-10T04:49:16.000+0100}, title = {Semantic properties of µ-charts}, url = {http://dx.doi.org/10.1109/SEFM.2003.1236216}, year = 2003 }