Fault-tolerant linear finite state machines.

Christoforos N. Hadjicostis George C. Verghese

Published in: ICECS (1999)

Keyphrases

fault tolerant
finite state machines
fault tolerance
state machine
distributed systems
finite state automata
load balancing
model checking
high availability
regular expressions
hidden markov models
digital circuits
databases
database
xml documents