A Toolkit for Building Reactive Systems or A Minute on Meta (Abstract).

Published in: ACM SIGOPS Oper. Syst. Rev. (1992)

Keyphrases

reactive systems
state machines
model checking
temporal logic
state machine
information flow
formal methods
machine learning
petri net
databases
high level
low level
higher level
control flow