Adding Partial Orders to Linear Temporal Logic.

Girish Bhat Doron A. Peled

Published in: CONCUR (1997)

Keyphrases

partial order
linear temporal logic
temporal logic
partially ordered
model checking
total order
bounded model checking
stable marriage
partial ordering
lattice structure
sequential patterns
preference relations
data mining
multi agent systems
modal logic