An algebraic specification of the partial orders generated by concurrent Ada computations.

Published in: TRI-Ada (1989)

Keyphrases

partial order
partially ordered
total order
stable marriage
high level
lattice structure
partial ordering
automatically generated
totally ordered
sequential patterns
formal specification
dominance relation
hybrid automata
knowledge base
programming language
vertex cover