The semantics and execution of a synchronous block-diagram language
Authors:
- Stephen A. EdwardsSEStephen A. Edwards
- Edward A. LeeELEdward A. Lee
- 1 July 2003
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 48 (1) , 21-42
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Efficient implementation of a BDD package2002
- Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code GenerationInformation and Computation, 2000
- An Implementation of Constructive Synchronous Programs in POLISFormal Methods in System Design, 2000
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- Esterel on hardwarePhilosophical Transactions A, 1992
- The synchronous approach to reactive and real-time systemsProceedings of the IEEE, 1991
- Multirate signal processing in Ptolemy1991
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Asynchronous Iterative Methods for MultiprocessorsJournal of the ACM, 1978