Compilation of the ELECTRE reactive language into finite transition systems

DOI10.1016/0304-3975(94)00136-7MaRDI QIDQ673127zbMATH OpenOpenAlexFDO

Authors Franck Cassez, Olivier Roux

Publication date 28 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(94)00136-7

zbMATH Keywords

ELECTRE reactive 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
• Sémantique du parallélisme et du choix du langage Electre
• The Esterel synchronous programming language: Design, semantics, implementation

Cites work

• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 3930354 (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 3448094 (Why is no real title available?)
• A calculus of communicating systems
• Automates a file
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• COSY - a system specification language based on paths and processes
• Derivatives of Regular Expressions
• Fairness and related properties in transition systems - a temporal logic to deal with fairness
• From regular expressions to deterministic automata
• Logic and programming languages
• Notes on finite asynchronous automata
• Operational semantics of a kernel of the language ELECTRE
• Proving Properties of Programs by Structural Induction
• QRT FIFO automata, breadth-first grammars and their relations

Cited in

(2)

• Sémantique du parallélisme et du choix du langage Electre
• Operational semantics of a kernel of the language ELECTRE

Describes a project that uses

Uses Software

• LUSTRE
• Centaur
• COSY

This page was built for publication: Compilation of the ELECTRE reactive language into finite transition systems

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