Compositional Failure-based Equivalence of Constraint Automata.

Mohammad Izadi Ali Movaghar

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

failure prediction
cellular automata
constraint sets
lattice gas
finite state
finite automata
real time
search engine
regular expressions
linear constraints
root cause
tree automata
success or failure
failure detection
probabilistic automata