On disjunction of literals in triggers of statecharts transitions.

DOI10.1016/S0020-0190(02)00314-9zbMath1042.68610OpenAlexW2087211664MaRDI QIDQ1853160

Simone Tini, Andrea Maggiolo-Schettini

Publication date: 21 January 2003

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(02)00314-9

zbMATH Keywords

StatechartsConcurrencyReactive systemsSpecification languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Esterel

Cites Work

• Unnamed Item
• Introduction to design choices in the semantics of Statecharts
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• What is in a step: On the semantics of statecharts
• Equivalences of Statecharts

This page was built for publication: On disjunction of literals in triggers of statecharts transitions.