The semantics and execution of a synchronous block-diagram language.

DOI10.1016/S0167-6423(02)00096-5zbMath1056.68099MaRDI QIDQ1400471

Edward A. Lee, Stephen A. Edwards

Publication date: 13 August 2003

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

Embedded systemsFixed pointsHeterogeneityRelaxationSystem of equationsChaotic iterationCoordination languageExecutionSoftware modulesSynchronous

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (5)

Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda ⋮ Feedback in Synchronous Relational Interfaces ⋮ Actors without Directors: A Kahnian View of Heterogeneous Systems ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

Uses Software

• LUSTRE

This page was built for publication: The semantics and execution of a synchronous block-diagram language.