The Semantics of Pure Esterel

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 361-409
https://doi.org/10.1007/978-3-662-02880-3_12

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

The Esterel synchronous programming language: design, semantics, implementation
Science of Computer Programming, 1992
Esterel on hardware
Philosophical Transactions A, 1992
The synchronous approach to reactive and real-time systems
Proceedings of the IEEE, 1991
The ESTEREL language
Proceedings of the IEEE, 1991
Multilevel logic synthesis
Proceedings of the IEEE, 1990
Statecharts: a visual formalism for complex systems
Science of Computer Programming, 1987
An algebraic definition for control structures
Theoretical Computer Science, 1980