What is in a step: On the semantics of statecharts

DOI10.1007/3-540-54415-1_49zbMath1493.68121OpenAlexW1551331198MaRDI QIDQ5096220

No author found.

Publication date: 16 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54415-1_49

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

Horizontal and vertical structuring techniques for statecharts ⋮ An axiomatic semantics for the synchronous language Gentzen. ⋮ Constructive semantics for instantaneous reactions ⋮ Statechartable Petri nets ⋮ Turing Machines, Transition Systems, and Interaction ⋮ The fixed-point theory of strictly causal functions ⋮ Turing machines, transition systems, and interaction ⋮ A compositional \(\mu\)-calculus proof system for statecharts processes ⋮ On disjunction of literals in triggers of statecharts transitions. ⋮ A comparison of Statecharts step semantics ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

Cites Work

• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Unnamed Item

This page was built for publication: What is in a step: On the semantics of statecharts