Partial Order Trace Analyzer (POTA) for Distributed Programs.

Alper Sen Vijay K. Garg

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

partial order
partially ordered
total order
declarative semantics
partial ordering
distributed systems
set theory
stable marriage
lattice structure
conceptual graphs
preference relations
data sets
multi agent
dominance relation
sequential patterns