Synchronous Programming of Reactive Systems.

Nicolas Halbwachs

Published in: CAV (1998)

Keyphrases

reactive systems
model checking
temporal logic
petri net
information flow
formal methods
control flow
real time systems
formal specification
asynchronous communication
state machines
database
databases
case study
distributed systems