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 (5)

• Computer Aided Verification
• Title not available (Why is that?)
• Primitives for authentication in process algebras.
• Language-based performance prediction for distributed and mobile systems
• 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)