What Is in a Step: New Perspectives on a Classical Question

DOI10.1007/978-3-642-13754-9_15zbMath1288.68172OpenAlexW190288445MaRDI QIDQ3587261

Michael Mendler, Gerald Lüttgen, 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) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

Uses Software

• SCADE
• StateFlow
• Smodels
• Esterel
• Modechart

Cites Work

• Introduction to design choices in the semantics of Statecharts
• Reconciling statechart semantics
• Statecharts: a visual formalism for complex systems
• A compositional axiomatization of statecharts
• The Esterel synchronous programming language: Design, semantics, implementation
• A compositional \(\mu\)-calculus proof system for statecharts processes
• A comparison of Statecharts step semantics
• A kripke-kleene semantics for logic programs*
• Graph-Based Algorithms for Boolean Function Manipulation
• Bilattices and the semantics of logic programming
• Argos: an automaton-based synchronous language
• The intuitionism behind Statecharts steps
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: What Is in a Step: New Perspectives on a Classical Question