Partial Order Reductions for Timed Systems.

Johan Bengtsson Bengt Jonsson Johan Lilius Wang Yi

Published in: CONCUR (1998)

Keyphrases

partial order
partially ordered
total order
finite state machines
partial ordering
search algorithm
computational complexity
graphical models
decision theory
stable marriage