Formal language semantics for triggered enable statecharts with a run-to-completion scheduling

DOI10.1007/978-3-031-47963-2_12MaRDI QIDQ6605353

Thai Son Hoang, Colin Snook, Michael J. Butler, Karla Vanessa Morris Wright

Publication date: 13 September 2024

zbMATH Keywords

formal semanticsEvent-Bstatechartsrun-to-completionSCXML

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• Reconciling statechart semantics
• Statecharts: a visual formalism for complex systems
• Class-diagrams for abstract data types

This page was built for publication: Formal language semantics for triggered enable statecharts with a run-to-completion scheduling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6605353)