Causality in the semantics of Esterel (revisited)

MaRDI QIDQ5150129zbMATH OpenFDO

Authors

Publication date 9 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.3

Mathematics Subject Classification ID

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

Recommendations

• An axiomatic semantics for Esterel
• A deterministic logical semantics for Esterel
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 1696892
• A causal semantics for CCS via rewriting logic

Cited in

(7)

• Thinking about causation: a causal language with epistemic operators
• Distant causation in \(\mathcal C+\)
• scientific article; zbMATH DE number 1692943 (Why is no real title available?)
• scientific article; zbMATH DE number 6493374 (Why is no real title available?)
• A fully abstract semantics for causality in the π-calculus
• scientific article; zbMATH DE number 7141420 (Why is no real title available?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Causality in the semantics of Esterel (revisited)

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