A deterministic logical semantics for Esterel

MaRDI QIDQ2848132zbMATH OpenFDO

Authors Olivier Tardieu

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002100

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• The Esterel synchronous programming language: Design, semantics, implementation
• An axiomatic semantics for Esterel
• scientific article; zbMATH DE number 3967898
• scientific article; zbMATH DE number 4082959
• A synchronous effects logic for temporal verification of pure Esterel

Cited in

(9)

• The Esterel synchronous programming language: Design, semantics, implementation
• A synchronous effects logic for temporal verification of pure Esterel
• scientific article; zbMATH DE number 3967898 (Why is no real title available?)
• scientific article; zbMATH DE number 2090842 (Why is no real title available?)
• scientific article; zbMATH DE number 1435985 (Why is no real title available?)
• Causality in the semantics of Esterel (revisited)
• Languages for reactive specifications: synchrony vs. asynchrony
• An axiomatic semantics for Esterel
• Constructive semantics for instantaneous reactions

This page was built for publication: A deterministic logical semantics for Esterel

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