On the Sleep Sets Method for Partial Order Verification of Concurrent Systems
Maciej Koutny, Marta Pietkiewicz-Koutny · 1995
We discuss one of the versions of the `sleep sets' method proposed to reduce the computational effort involved in state space search. We identify some of the problems in the algorithms presented in [2, 3] which use sleep sets to implement an efficient search of the state space of a concurrent system.