Sémantique du parallélisme et du choix du langage Electre

DOI10.1051/ITA/1995290403151MaRDI QIDQ4858847zbMATH OpenOpenAlexFDO

Authors Marc Huou, Jean-Pierre Elloy

Publication date 27 May 1996

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92512

zbMATH Keywords

transition systemreal time controlElectre language

Mathematics Subject Classification ID

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

Recommendations

• Operational semantics of a kernel of the language ELECTRE
• scientific article; zbMATH DE number 92601
• Compilation of the ELECTRE reactive language into finite transition systems
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 3967898

Cites work

• scientific article; zbMATH DE number 3967898 (Why is no real title available?)
• scientific article; zbMATH DE number 3970103 (Why is no real title available?)
• scientific article; zbMATH DE number 3463159 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Operational semantics of a kernel of the language ELECTRE
• Semantics of context-free languages: Correction

Cited in

(2)

• Operational semantics of a kernel of the language ELECTRE
• scientific article; zbMATH DE number 2230607 (Why is no real title available?)

Describes a project that uses

Uses Software

• Esterel
• LUSTRE

This page was built for publication: Sémantique du parallélisme et du choix du langage Electre

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