Compilation of the ELECTRE reactive language into finite transition systems
From MaRDI portal
Publication:673127
DOI10.1016/0304-3975(94)00136-7zbMATH Open0873.68127OpenAlexW1992729783MaRDI QIDQ673127FDOQ673127
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
Recommendations
Cites Work
- COSY - a system specification language based on paths and processes
- Derivatives of Regular Expressions
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of communicating systems
- Fairness and related properties in transition systems - a temporal logic to deal with fairness
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Automates a file
- QRT FIFO automata, breadth-first grammars and their relations
- Title not available (Why is that?)
- Notes on finite asynchronous automata
- Proving Properties of Programs by Structural Induction
- From regular expressions to deterministic automata
- Operational semantics of a kernel of the language ELECTRE
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic and programming languages
- Title not available (Why is that?)
Cited In (2)
Uses Software
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)
