%0 Journal Article %1 girault_99_hierarchical %A Girault, A. %A Lee, Bilung %A Lee, E. A. %D 1999 %J Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on %K _hardcopy semantics statecharts concurrency _folder_3 1999 %N 6 %P 742--760 %R 10.1109/43.766725 %T Hierarchical finite state machines with multiple concurrency models %U http://dx.doi.org/10.1109/43.766725 %V 18 %X This paper studies the semantics of hierarchical finite state machines (FSM's) that are composed using various concurrency models, particularly dataflow, discrete-events, and synchronous/reactive modeling. It is argued that all three combinations are useful, and that the concurrency model can be selected independently of the decision to use hierarchical FSM's. In contrast, most formalisms that combine FSM's with concurrency models, such as statecharts (and its variants) and hybrid systems, tightly integrate the FSM semantics with the concurrency semantics. An implementation that supports three combinations is described

@article{girault_99_hierarchical, abstract = {This paper studies the semantics of hierarchical finite state machines (FSM's) that are composed using various concurrency models, particularly dataflow, discrete-events, and synchronous/reactive modeling. It is argued that all three combinations are useful, and that the concurrency model can be selected independently of the decision to use hierarchical FSM's. In contrast, most formalisms that combine FSM's with concurrency models, such as statecharts (and its variants) and hybrid systems, tightly integrate the FSM semantics with the concurrency semantics. An implementation that supports three combinations is described}, added-at = {2009-02-11T22:25:56.000+0100}, author = {Girault, A. and Lee, Bilung and Lee, E. A.}, biburl = {https://www.bibsonomy.org/bibtex/29c853090cb5e93756c031052794ce5f3/leonardo}, citeulike-article-id = {845409}, doi = {10.1109/43.766725}, interhash = {9c5ae0cd3591394187933ab56f33dc94}, intrahash = {9c853090cb5e93756c031052794ce5f3}, journal = {Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on}, keywords = {_hardcopy semantics statecharts concurrency _folder_3 1999}, number = 6, pages = {742--760}, posted-at = {2006-09-15 14:39:06}, priority = {4}, timestamp = {2009-02-11T22:25:56.000+0100}, title = {Hierarchical finite state machines with multiple concurrency models}, url = {http://dx.doi.org/10.1109/43.766725}, volume = 18, year = 1999 }