A comparison of Statecharts step semantics
From MaRDI portal
Publication:1853596
DOI10.1016/S0304-3975(01)00381-4zbMath1018.68045OpenAlexW1987349236MaRDI QIDQ1853596
Adriano Peron, Simone Tini, Andrea Maggiolo-Schettini
Publication date: 21 January 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00381-4
Related Items
Formalising concurrent UML state machines using coloured Petri nets ⋮ Compositional semantics and behavioral equivalences for P systems ⋮ What Is in a Step: New Perspectives on a Classical Question ⋮ Causal semantics for the algebra of connectors ⋮ Reconciling statechart semantics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Transition system specifications with negative premises
- Higher-level synchronising devices in Meije-SCCS
- Statecharts: a visual formalism for complex systems
- A compositional axiomatization of statecharts
- The Esterel synchronous programming language: Design, semantics, implementation
- Bisimulation can't be traced
- What is in a step: On the semantics of statecharts
- Precongruence formats for decorated trace semantics
- Equivalences of Statecharts