What is in a step: new perspectives on a classical question
DOI10.1007/978-3-642-13754-9_15zbMATH Open1288.68172OpenAlexW190288445MaRDI QIDQ3587261FDOQ3587261
Michael Mendler, Willem-Paul de Roever, Gerald Lüttgen
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
Recommendations
Theory of programming languages (68N15) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cites Work
- The Esterel synchronous programming language: Design, semantics, implementation
- Graph-Based Algorithms for Boolean Function Manipulation
- Statecharts: a visual formalism for complex systems
- Bilattices and the semantics of logic programming
- A comparison of Statecharts step semantics
- A kripke-kleene semantics for logic programs*
- Title not available (Why is that?)
- Reconciling statechart semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The intuitionism behind Statecharts steps
- Title not available (Why is that?)
- Introduction to design choices in the semantics of Statecharts
- From here to there: Stable negation in logic programming
- A compositional \(\mu\)-calculus proof system for statecharts processes
- Argos: an automaton-based synchronous language
- A compositional axiomatization of statecharts
- Title not available (Why is that?)
Cited In (4)
Uses Software
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)
