Distributed Partial Order Reduction of State Spaces.
Lubos BrimIvana CernáPavel MoravecJirí SimsaPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- state space
- partial order reduction
- model checking
- distributed systems
- fault tolerant
- markov chain
- heuristic search
- planning problems
- distributed environment
- data mining
- response time
- cooperative
- mobile agents
- peer to peer
- evolutionary algorithm
- computer networks
- multi agent
- communication cost
- distributed computing
- distributed data
- distributed processing
- knowledge base