Strong Bisimulation of State Automata

David B. Benson Ofer Ben-Shachar

Published in: LICS (1986)

Keyphrases

state space
finite state machines
databases
data mining
information systems
bayesian networks
objective function
data structure