Interleaving and partial orders in concurrency: a formal comparison.

Eike Best Raymond R. Devillers

Published in: Formal Description of Programming Concepts (1987)

Keyphrases

partial order
total order
partially ordered
partial ordering
stable marriage
lower bound
lattice structure
database systems
logical formulas
concurrent execution
database
feature space
formal specification
preference relations