Partial Order Reductions for Bisimulation Checking.

Michaela Huhn Peter Niebert Heike Wehrheim

Published in: FSTTCS (1998)

Keyphrases

partial order
partially ordered
equivalence relation
total order
partial ordering
stable marriage
preference relations
lattice structure
vertex cover
causal links
conceptual graphs
set theory
maximum weight
data sets
totally ordered