%0 Journal Article %1 wasowski_05_succinctness %A Wąsowski, Andrzej %B Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004) %D 2005 %J Electronic Notes in Theoretical Computer Science %K _hardcopy semantics 2005 statecharts %P 89--97 %R 10.1016/j.entcs.2004.09.030 %T On Succinctness of Hierarchical State Diagrams in Absence of Message Passing %U http://dx.doi.org/10.1016/j.entcs.2004.09.030 %V 115 %X We show a subexponential but superpolynomial lower bound for flattening problem for statecharts. The result explains why common flattening algorithms explode, if the signal communication is excluded from the target language. This specifically affects flattening-based strategies for automatic model-based program synthesis.

@article{wasowski_05_succinctness, abstract = {We show a subexponential but superpolynomial lower bound for flattening problem for statecharts. The result explains why common flattening algorithms explode, if the signal communication is excluded from the target language. This specifically affects flattening-based strategies for automatic model-based program synthesis.}, added-at = {2009-02-11T21:04:16.000+0100}, author = {Wąsowski, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2a848905b3212f00912c280c7c3f5a922/leonardo}, booktitle = {Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004)}, citeulike-article-id = {572400}, doi = {10.1016/j.entcs.2004.09.030}, interhash = {f037743dcf31ddf863d98a872eecbc4e}, intrahash = {a848905b3212f00912c280c7c3f5a922}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {_hardcopy semantics 2005 statecharts}, month = {January}, pages = {89--97}, posted-at = {2006-04-01 18:00:00}, priority = {2}, timestamp = {2009-02-11T21:04:16.000+0100}, title = {On Succinctness of Hierarchical State Diagrams in Absence of Message Passing}, url = {http://dx.doi.org/10.1016/j.entcs.2004.09.030}, volume = 115, year = 2005 }