Distributed REScala: an update algorithm for distributed reactive programming
The Esterel Synchronous Programming Language: Design, Semantics, Implementation