Sat Jan 18 15:18:45 CET 2020

Reactive systems

A reactive system can be something like this:
- select on input
- update value
- select on outputs

Maybe the semantics isn't really perfect, since simultaneity isn't
handled well, and neither is fanout.  For a reactive system we really
want continuous time semantics, which would not create multiple events
if all input values changes at once.

It seems reactivity is really more about time, while CSP is timeless.

It might be more useful to think about time provision.

EDIT: reactive dataflow = CSP + memoization?