%0 Conference Paper %1 anderson_01_idioms %A Anderson, G. %A Reeve, Greg %A Reeves, Steve %D 2001 %J Software Engineering Conference, 2001. Proceedings. 2001 Australian %K mu-charts \_hardcopy statecharts \_pdf 2001 %P 224--231 %R http://dx.doi.org/10.1109/ASWEC.2001.948516 %T Idioms for μ-charts %U http://dx.doi.org/10.1109/ASWEC.2001.948516 %X This paper presents an idiomatic construct for μ-charts which reflects the high-level specification construct of synchronization between activities. This, amongst others, has emerged as a common and useful idea during our use of μ-charts to design and specify commonly-occurring reactive systems. The purpose of this example, apart from any inherent interest in being able to use synchronization in a specification, is to show how the very simple language of μ-charts can used as a basis for a more expressive language built by definitional extension

@inproceedings{anderson_01_idioms, abstract = {This paper presents an idiomatic construct for \^{I}¼-charts which reflects the high-level specification construct of synchronization between activities. This, amongst others, has emerged as a common and useful idea during our use of \^{I}¼-charts to design and specify commonly-occurring reactive systems. The purpose of this example, apart from any inherent interest in being able to use synchronization in a specification, is to show how the very simple language of \^{I}¼-charts can used as a basis for a more expressive language built by definitional extension}, added-at = {2009-03-10T04:48:56.000+0100}, author = {Anderson, G. and Reeve, Greg and Reeves, Steve}, biburl = {https://www.bibsonomy.org/bibtex/27d999b363b9506d0a7b130347fedc245/leonardo}, citeulike-article-id = {891759}, doi = {http://dx.doi.org/10.1109/ASWEC.2001.948516}, interhash = {3d2e3b9965464314b0e0b2ba84045bb2}, intrahash = {7d999b363b9506d0a7b130347fedc245}, journal = {Software Engineering Conference, 2001. Proceedings. 2001 Australian}, keywords = {mu-charts \_hardcopy statecharts \_pdf 2001}, pages = {224--231}, posted-at = {2006-10-10 20:24:34}, priority = {4}, timestamp = {2009-03-10T04:48:56.000+0100}, title = {Idioms for \^{I}¼-charts}, url = {http://dx.doi.org/10.1109/ASWEC.2001.948516}, year = 2001 }