Deriving Bisimulation Congruences for Conditional Reactive Systems.

Mathias Hülsbusch Barbara König

Published in: FoSSaCS (2012)

Keyphrases

reactive systems
temporal logic
information flow
model checking
formal methods
petri net
control flow
information systems
database systems
real time systems
data mining