Introduction to design choices in the semantics of Statecharts

DOI10.1016/0020-0190(91)90190-SzbMath0713.68012OpenAlexW2047351509MaRDI QIDQ750133

D. Kharzeev

Publication date: 1991

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

Full work available at URL: https://doi.org/10.1016/0020-0190(91)90190-s

zbMATH Keywords

real-time systemsspecification languagesStatechartsdistributed computingreactive systemsvisual languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) General theory of computer systems (68M01)

Related Items (5)

A compositional axiomatization of statecharts ⋮ What Is in a Step: New Perspectives on a Classical Question ⋮ A Bibliography of Willem-Paul de Roever ⋮ Reconciling statechart semantics ⋮ On disjunction of literals in triggers of statecharts transitions.

Uses Software

• Esterel

Cites Work

• Petri nets with individual tokens
• Statecharts: a visual formalism for complex systems
• System modelling with high-level Petri nets
• The Esterel synchronous programming language: Design, semantics, implementation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Introduction to design choices in the semantics of Statecharts