A Hierarchy of Partial Order Temporal Properties.

Marta Z. Kwiatkowska Doron A. Peled Wojciech Penczek

Published in: ICTL (1994)

Keyphrases

partial order
temporal properties
model checking
partially ordered
total order
possibility theory
formal methods
sequential patterns
lattice structure
causal links
state space
software engineering
autonomous agents
formal specification
totally ordered