scientific article; zbMATH DE number 4082959

MaRDI QIDQ3813288zbMATH OpenFDO

Authors Gérard Berry, P. Couronné, Georges Gonthier

Publication date 1988

zbMATH Keywords

Reactive systemssemanticssynchronous languagessynchronous programmingsynchrony

Mathematics Subject Classification ID

Theory of operating systems (68N25) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 526071
• A denotational theory of synchronous reactive systems
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• scientific article; zbMATH DE number 1361139

Cited in

(19)

• Operational semantics of a kernel of the language ELECTRE
• The Esterel synchronous programming language: Design, semantics, implementation
• Implementation of communicating reactive processes
• A deterministic logical semantics for Esterel
• The Miracle of Reactive Programming
• scientific article; zbMATH DE number 3967898 (Why is no real title available?)
• scientific article; zbMATH DE number 140244 (Why is no real title available?)
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 1941147 (Why is no real title available?)
• scientific article; zbMATH DE number 2080750 (Why is no real title available?)
• scientific article; zbMATH DE number 1487628 (Why is no real title available?)
• scientific article; zbMATH DE number 2090842 (Why is no real title available?)
• scientific article; zbMATH DE number 1390244 (Why is no real title available?)
• Languages for reactive specifications: synchrony vs. asynchrony
• Reactive concurrent programming revisited
• Fundamental Approaches to Software Engineering
• Automated Technology for Verification and Analysis
• Computer Aided Verification
• Coupling asynchrony and interrupts: Place Chart Nets

Describes a project that uses

Uses Software

• CESAR
• Esterel

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 Q3813288)