Introduction to design choices in the semantics of Statecharts
DOI10.1016/0020-0190(91)90190-SzbMATH Open0713.68012OpenAlexW2047351509MaRDI QIDQ750133FDOQ750133
Authors: 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
Recommendations
distributed computingreactive systemsreal-time systemsspecification languagesvisual languagesStatecharts
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) General theory of computer systems (68M01)
Cites Work
- The Esterel synchronous programming language: Design, semantics, implementation
- Statecharts: a visual formalism for complex systems
- Petri nets with individual tokens
- Title not available (Why is that?)
- Title not available (Why is that?)
- System modelling with high-level Petri nets
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (14)
- On disjunction of literals in triggers of statecharts transitions.
- What is in a step: new perspectives on a classical question
- Title not available (Why is that?)
- Compositional semantics and refinement of Statecharts
- Title not available (Why is that?)
- Introducing probabilities in statecharts to specify reactive systems for performance analysis
- Title not available (Why is that?)
- Reconciling statechart semantics
- Incremental design of statechart specifications
- Title not available (Why is that?)
- A Bibliography of Willem-Paul de Roever
- A comparison of Statecharts step semantics
- A compositional axiomatization of statecharts
- A constructive approach to state description semantics
Uses Software
This page was built for publication: Introduction to design choices in the semantics of Statecharts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q750133)
