%0 Book Section %1 yannakakis_00_hierarchical %A Yannakakis, Mihalis %D 2000 %J Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics %K equivalence semantics statecharts 2000 %P 315--330 %R 10.1007/3-540-44929-9_24 %T Hierarchical State Machines %U http://dx.doi.org/10.1007/3-540-44929-9_24 %X Hierarchical state machines are finite state machines whose states themselves can be other state machines. Hierarchy is a useful construct in many modeling formalisms and tools for software design, requirements and testing.We summarize recent work on hierarchical state machines with or without concurrency. We discuss issues of expressiveness and succinctness, the complexity of basic operations (such as emptiness, equivalence etc.), and algorithmic problems in the analysis of hierarchical machines to check for their properties.

@incollection{yannakakis_00_hierarchical, abstract = {Hierarchical state machines are finite state machines whose states themselves can be other state machines. Hierarchy is a useful construct in many modeling formalisms and tools for software design, requirements and testing.We summarize recent work on hierarchical state machines with or without concurrency. We discuss issues of expressiveness and succinctness, the complexity of basic operations (such as emptiness, equivalence etc.), and algorithmic problems in the analysis of hierarchical machines to check for their properties.}, added-at = {2009-02-11T22:19:52.000+0100}, author = {Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/26d11d490acbcf81d3650d3916fa0ea38/leonardo}, citeulike-article-id = {2468622}, doi = {10.1007/3-540-44929-9_24}, interhash = {199f6c00717c7debc9087ec0a2677bc8}, intrahash = {6d11d490acbcf81d3650d3916fa0ea38}, journal = {Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics}, keywords = {equivalence semantics statecharts 2000}, pages = {315--330}, posted-at = {2008-03-05 02:01:55}, priority = {4}, timestamp = {2009-02-11T22:19:52.000+0100}, title = {Hierarchical State Machines}, url = {http://dx.doi.org/10.1007/3-540-44929-9_24}, year = 2000 }