SIGNAL: A declarative language for synchronous programming of real-time systems

Publisher Website

1 January 1987

book chapter
Published by Springer Nature

p. 257-277
https://doi.org/10.1007/3-540-18317-5_15

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

LUSTRE: a declarative language for real-time programming
Published by Association for Computing Machinery (ACM) ,1987
The ESTEREL synchronous programming language and its mathematical semantics
Lecture Notes in Computer Science, 1985
On the Development of Reactive Systems
Published by Springer Nature ,1985
Communicating sequential processes
Communications of the ACM, 1978