Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.

David K. Probst Hon Fung Li

Published in: CAV (1990)

Keyphrases

partial order
partially ordered
state space
conceptual graphs
total order
stable marriage
data structure
logic programming