scientific article; zbMATH DE number 1435985

MaRDI QIDQ4948014zbMATH OpenFDO

Authors Andrea Maggiolo-Schettini, Simone Tini

Publication date 26 April 2000

zbMATH Keywords

synchronous programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

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

Cited in

(11)

• A synchronous effects logic for temporal verification of pure Esterel
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation
• Language-based performance prediction for distributed and mobile systems
• Grounding synchronous deterministic concurrency in sequential programming
• scientific article; zbMATH DE number 1222588 (Why is no real title available?)
• A novel WCET semantics of synchronous programs
• Computer Aided Verification
• Primitives for authentication in process algebras.
• Languages for reactive specifications: synchrony vs. asynchrony
• Synchronization languages

This page was built for publication:

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