Assertion: signal | /r/HasProperty | based on synchronized data-flow
Facets:
Source sentences:
text: SIGNAL is a programming language based on synchronized data-flow (flows + synchronization): a process is a set of equations on elementary flows describing both data and control.