Constructive semantics for instantaneous reactions

DOI10.1016/J.TCS.2010.09.007MaRDI QIDQ631753zbMATH OpenOpenAlexFDO

Authors Joaquín Aguado, Michael Mendler

Publication date 14 March 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2010.09.007

zbMATH Keywords

constructive semanticsEsterelmaze gameStatechartssynchronous languages

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1927575
• A deterministic logical semantics for Esterel
• What is in a step: new perspectives on a classical question
• The Esterel synchronous programming language: Design, semantics, implementation
• An axiomatic semantics for Esterel

Cites work

• scientific article; zbMATH DE number 4056977 (Why is no real title available?)
• scientific article; zbMATH DE number 8771 (Why is no real title available?)
• scientific article; zbMATH DE number 65758 (Why is no real title available?)
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 2017345 (Why is no real title available?)
• scientific article; zbMATH DE number 1472845 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Automata, logics, and infinite games. A guide to current research
• Constructive Boolean circuits and the exactness of timed ternary simulation
• Decidability of DPDA equivalence
• Equivalences of Statecharts
• Full abstraction for PCF
• Games and full completeness for multiplicative linear logic
• Hazard Detection in Combinational and Sequential Switching Circuits
• Locus solum: From the rules of logic to the logic of rules.
• On full abstraction for PCF: I, II and III
• On the synthesis of strategies in infinite games
• Programming Languages and Systems
• The intuitionism behind statecharts steps
• What is in a step: on the semantics of statecharts

Cited in

(5)

• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Introducing reactive Kripke semantics and arc accessibility
• Reconciling statechart semantics
• scientific article; zbMATH DE number 1927575 (Why is no real title available?)
• Unifying operational semantics with algebraic semantics for instantaneous reactions

Describes a project that uses

Uses Software

• Modechart
• Esterel
• ULM
• SugarCubes

This page was built for publication: Constructive semantics for instantaneous reactions

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