Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/114621
| Title: | The equivalence of statecharts | Authors: | Long, Q. Qiu, Z. Qin, S. |
Issue Date: | 2003 | Citation: | Long, Q.,Qiu, Z.,Qin, S. (2003). The equivalence of statecharts. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2885 : 125-143. ScholarBank@NUS Repository. | Abstract: | This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts using bisimulation on configurations. An input/response trace model is also investigated at the level of observable behaviour. © Springer-Verlag 2003. | Source Title: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | URI: | http://scholarbank.nus.edu.sg/handle/10635/114621 | ISSN: | 03029743 |
| Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.