Sign in
Specification for reactive bulk-synchronous programming.
Yifeng Chen
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