%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 2001 %P 224--231 %R 10.1109/ASWEC.2001.948516 %T Idioms for ^I¼-charts %U http://dx.doi.org/10.1109/ASWEC.2001.948516 %X 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

@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-02-11T22:17:40.000+0100}, author = {Anderson, G. and Reeve, Greg and Reeves, Steve}, biburl = {https://www.bibsonomy.org/bibtex/28edfbb129130f3beb3da1a147c673dbc/leonardo}, citeulike-article-id = {891759}, doi = {10.1109/ASWEC.2001.948516}, interhash = {80753b5333f84ed44757b4c3baf2c4d0}, intrahash = {8edfbb129130f3beb3da1a147c673dbc}, journal = {Software Engineering Conference, 2001. Proceedings. 2001 Australian}, keywords = {mu-charts _hardcopy statecharts 2001}, pages = {224--231}, posted-at = {2006-10-10 20:24:34}, priority = {4}, timestamp = {2009-02-11T22:17:40.000+0100}, title = {Idioms for ^{I}¼-charts}, url = {http://dx.doi.org/10.1109/ASWEC.2001.948516}, year = 2001 }