Specification for reactive bulk-synchronous programming.

Published in: PDP (2000)

Keyphrases

reactive systems
asynchronous communication
model checking
temporal logic
programming language
petri net
information flow
formal methods
real time
neural network
database systems
high level
programming environment
search algorithm
control flow
exception handling
database
programming environments