An axiomatic semantics for Esterel

DOI10.1016/S0304-3975(00)00420-5MaRDI QIDQ5958617zbMATH OpenFDO

Authors Simone Tini

Publication date 3 March 2002

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

Full work available at URL https://doi.org/10.1016/S0304-3975(00)00420-5

zbMATH Keywords

axiomatic semanticsequivalencesEsterelsynchronous languages

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A deterministic logical semantics for Esterel
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 3967898
• An axiomatic semantics for the synchronous language Gentzen.
• scientific article; zbMATH DE number 1701363

Cites work

• A complete inference system for a class of regular behaviours
• A conservative look at operational semantics with variable binding
• Bisimulation can't be traced
• Formal verification of parallel programs
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 3958712 (Why is no real title available?)
• scientific article; zbMATH DE number 3990852 (Why is no real title available?)
• scientific article; zbMATH DE number 4056992 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177854 (Why is no real title available?)
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• Process algebra for synchronous communication
• Statecharts: a visual formalism for complex systems
• Structured operational semantics and bisimulation as a congruence
• The Esterel synchronous programming language: Design, semantics, implementation
• Timed default concurrent constraint programming
• Turning SOS rules into equations

Cited in

(13)

• An axiomatic semantics for the synchronous language Gentzen.
• A synchronous effects logic for temporal verification of pure Esterel
• A deterministic logical semantics for Esterel
• scientific article; zbMATH DE number 3967898 (Why is no real title available?)
• scientific article; zbMATH DE number 1927575 (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)
• A denotational semantics for Handel-C
• An axiomatization of ECTL
• Constructive semantics for instantaneous reactions
• A complete axiomatic semantics of spawning
• Compositional semantics and behavioral equivalences for P systems

Describes a project that uses

Uses Software

• Esterel

This page was built for publication: An axiomatic semantics for Esterel

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