Compilation of the ELECTRE reactive language into finite transition systems
- 24 July 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 146 (1-2) , 109-143
- https://doi.org/10.1016/0304-3975(94)00136-7
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- The specification of process synchronization by path expressionsPublished by Springer Nature ,2005
- Verification of distributed systems: An experimentPublished by Springer Nature ,2005
- Operational semantics of a kernel of the language ELECTRETheoretical Computer Science, 1992
- QRT FIFO automata, breadth-first grammars and their relationsTheoretical Computer Science, 1991
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- From regular expressions to deterministic automataTheoretical Computer Science, 1986
- Signal--A data flow-oriented language for signal processingIEEE Transactions on Acoustics, Speech, and Signal Processing, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- On the Development of Reactive SystemsPublished by Springer Nature ,1985
- Automates a fileTheoretical Computer Science, 1980