Deriving Bisimulation Congruences for Reactive Systems.

James J. Leifer Robin Milner

Published in: CONCUR (2000)

Keyphrases

reactive systems
model checking
information flow
petri net
temporal logic
formal methods
control flow
state machines
database
machine learning
databases
knowledge acquisition
training set
information security
case study
decision making
real world