History dependent verification for partial order systems.

Ugo Montanari Marco Pistore

Published in: Partial Order Methods in Verification (1996)

Keyphrases

partial order
partially ordered
total order
asynchronous circuits
lattice structure
partial ordering
model checking
conceptual graphs
formal methods
dominance relation