scientific article; zbMATH DE number 1435985

zbMATH Open0942.68029MaRDI QIDQ4948014FDOQ4948014

Authors: Andrea Maggiolo-Schettini, Simone Tini 

Publication date: 26 April 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

synchronous programming

Mathematics Subject Classification ID

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

Cited In (11)

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

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)