Introduction to design choices in the semantics of Statecharts
- 1 February 1991
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 37 (4) , 205-213
- https://doi.org/10.1016/0020-0190(91)90190-s
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Petri nets with individual tokensTheoretical Computer Science, 1985
- System modelling with high-level Petri netsTheoretical Computer Science, 1981