A calculational approach to reactive systems.

Burghard von Karger

Published in: Sci. Comput. Program. (2000)

Keyphrases

reactive systems
temporal logic
petri net
information flow
model checking
theorem proving
formal methods
control flow
real time systems
databases
machine learning
state machines