On the Construction of Sorted Reactive Systems.

Lars Birkedal Søren Debois Thomas T. Hildebrandt

Published in: CONCUR (2008)

Keyphrases

reactive systems
temporal logic
model checking
information flow
petri net
formal methods
control flow
artificial intelligence
construction process
case study
relational databases
business process
real time systems
state machines