A Distributed Partial Order Reduction Algorithm.

Robert Palmer Ganesh Gopalakrishnan

Published in: FORTE (2002)

Keyphrases

partial order
partially ordered
total order
stable marriage
partial ordering
distributed systems
peer to peer
lattice structure
distributed environment
decision making
preference relations
sequential patterns
domain specific
graphical models
multi agent
totally ordered
data mining
causal links