Synthesizing nonblocking distributed supervisors based on automaton abstraction.

Rong Su Jan H. van Schuppen Jacobus E. Rooda

Published in: CDC (2008)

Keyphrases

distributed systems
peer to peer
distributed environment
fault tolerant
high level
multi agent
database
databases
data mining
cooperative
lightweight
distributed computing
computer networks
commit protocols
distributed network
distributed data
load balancing
hidden markov models
query processing
real time