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

DOI10.1051/ITA/1995290403151zbMATH Open0838.68074OpenAlexW2475050853MaRDI QIDQ4858847FDOQ4858847

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

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

zbMATH Keywords

transition systemreal time controlElectre language

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Semantics of context-free languages: Correction
• Title not available (Why is that?)
• Operational semantics of a kernel of the language ELECTRE
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Operational semantics of a kernel of the language ELECTRE
• Title not available (Why is that?)

Uses Software

• LUSTRE
• Esterel

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)