Operational semantics of a kernel of the language ELECTRE

DOI10.1016/0304-3975(92)90388-VzbMath0769.68085OpenAlexW2142605518MaRDI QIDQ1193858

Marc Huou, Olivier Roux, Jean Perraud

Publication date: 27 September 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90388-v

zbMATH Keywords

operational semanticscontext-free grammartransitionsreal-time language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Sémantique du parallélisme et du choix du langage Electre ⋮ Compilation of the ELECTRE reactive language into finite transition systems

Uses Software

• LUSTRE
• Esterel

Cites Work

• Semantics of context-free languages
• Semantics of context-free languages: Correction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Operational semantics of a kernel of the language ELECTRE