Modeling concurrency with partial orders.

Vaughan R. Pratt

Published in: Int. J. Parallel Program. (1986)

Keyphrases

partial order
partially ordered
total order
modeling method
data structure
lattice structure
partial ordering
stable marriage
knowledge representation
sequential patterns