Using Partial-Orders for Detecting Faults in Concurrent Systems. - Alexandre Petrenko; Andreas Ulrich; V. Chapenko (IWTCS, 1998)