The original DPOR (dynamic partial order reduction) technique for model
checking was developed in a landmark paper
by Flanagan and Godefroid [1]}. We define
here some terminology for the basic concepts. Details of DPOR, along
with more formal definitions of the terminology can
be found in [1]}.
