A comparison of Statecharts step semantics

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

zbMATH Keywords

structural operational semanticsrule formatsstatechartspreorders and equivalences

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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

• Esterel

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