Compiling Argos into Boolean equations

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 72-89
https://doi.org/10.1007/3-540-61648-9_35

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Operational and compositional semantics of synchronous automaton compositions
Published by Springer Nature ,2006
Synchronous Programming of Reactive Systems
Published by Springer Nature ,1993
The Esterel synchronous programming language: design, semantics, implementation
Science of Computer Programming, 1992
Statecharts: a visual formalism for complex systems
Science of Computer Programming, 1987