====== Notes on Partial-Order Reduction ======


Transitions are very specific and concrete, and include source and destination.

Use this definition for dynamic partial-order reduction.

The definition of dependence relation.

{{crystalball:por-trans-dep.jpg?600|Dependence Relation for Actions Sending Messages}}