What is in a step: new perspectives on a classical question

DOI10.1007/978-3-642-13754-9_15MaRDI QIDQ3587261zbMATH OpenOpenAlexFDO

Authors Gerald Lüttgen, Michael Mendler, Willem-Paul de Roever

Publication date 7 September 2010

Published in Time for Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13754-9_15

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• What is in a step: on the semantics of statecharts
• The intuitionism behind statecharts steps
• A comparison of Statecharts step semantics
• scientific article; zbMATH DE number 1670821
• scientific article; zbMATH DE number 1927575

Cites work

• scientific article; zbMATH DE number 1670805 (Why is no real title available?)
• scientific article; zbMATH DE number 4056977 (Why is no real title available?)
• scientific article; zbMATH DE number 65758 (Why is no real title available?)
• scientific article; zbMATH DE number 683349 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 1927575 (Why is no real title available?)
• A comparison of Statecharts step semantics
• A compositional -calculus proof system for statecharts processes
• A compositional axiomatization of statecharts
• A kripke-kleene semantics for logic programs*
• Argos: an automaton-based synchronous language
• Bilattices and the semantics of logic programming
• From here to there: Stable negation in logic programming
• Graph-Based Algorithms for Boolean Function Manipulation
• Introduction to design choices in the semantics of Statecharts
• Reconciling statechart semantics
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• The intuitionism behind statecharts steps

Cited in

(7)

• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• The stepping stone model: New formulas expose old myths
• Constructive semantics for instantaneous reactions
• scientific article; zbMATH DE number 1927575 (Why is no real title available?)
• Correction to: ``One step is enough
• What is in a step: on the semantics of statecharts
• The intuitionism behind statecharts steps

Describes a project that uses

Uses Software

• Modechart
• Esterel
• Smodels
• StateFlow
• SCADE

This page was built for publication: What is in a step: new perspectives on a classical question

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