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

DOI10.1051/ita/1995290403151zbMath0838.68074OpenAlexW2475050853MaRDI QIDQ4858847

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)

Uses Software

• LUSTRE
• Esterel

Cites Work

• Operational semantics of a kernel of the language ELECTRE
• Semantics of context-free languages: Correction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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