40 Years of Computing at Newcastle

Department Technical Report Series No. 495

On the sleep sets method for partial order verification of concurrent systems

M. Koutny
M. Pietkiewicz-Koutny

University of Newcastle upon Tyne. 1994

Abstract

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 [] which use sleep sets to implement an efficient search of the state space of a concurrent system.