%0 Conference Paper %1 park_00_equivalence %A Park, Myung H. %A Bang, Ki S. %A Choi, Jin Y. %A Kang, Inhye %D 2000 %J Rapid System Prototyping, 2000. RSP 2000. Proceedings. 11th International Workshop on %K _hardcopy refinement equivalence statecharts 2000 %P 46--51 %R 10.1109/IWRSP.2000.855185 %T Equivalence checking of two Statechart specifications %U http://dx.doi.org/10.1109/IWRSP.2000.855185 %X In this paper we give a process algebraic semantics for Statechart via a translation into algebra of communicating shared resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra

@inproceedings{park_00_equivalence, abstract = {In this paper we give a process algebraic semantics for Statechart via a translation into algebra of communicating shared resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra}, added-at = {2009-02-12T11:20:55.000+0100}, author = {Park, Myung H. and Bang, Ki S. and Choi, Jin Y. and Kang, Inhye}, biburl = {https://www.bibsonomy.org/bibtex/2d505bf556977843d1a45c351e7caa927/leonardo}, citeulike-article-id = {902081}, doi = {10.1109/IWRSP.2000.855185}, interhash = {0ebbc2c467412398eba7f7cea893d6d6}, intrahash = {d505bf556977843d1a45c351e7caa927}, journal = {Rapid System Prototyping, 2000. RSP 2000. Proceedings. 11th International Workshop on}, keywords = {_hardcopy refinement equivalence statecharts 2000}, pages = {46--51}, posted-at = {2006-10-17 19:05:19}, priority = {5}, timestamp = {2009-02-12T11:20:55.000+0100}, title = {Equivalence checking of two Statechart specifications}, url = {http://dx.doi.org/10.1109/IWRSP.2000.855185}, year = 2000 }