Decomposing Partial Order Execution Graphs to Improve Message Race Detection.

Basile Schaeli Sebastian Gerlach Roger D. Hersch

Published in: IPDPS (2007)

Keyphrases

partial order
partially ordered
total order
partial ordering
stable marriage
preference relations
conceptual graphs
email
domain specific
lattice structure
logical formulas