1. Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: Efficiently computing the happens-before relation using locksets (2006), Full version available at,
http://www.research.microsoft.com/~qadeer/fatesrv06-fullversion.ps
2. Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: POPL 05: Principles of Programming Languages, pp. 110–121. ACM Press, New York (2005)
3. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)
4. Mattern, F.: Virtual time and global states of distributed systems. In: International Workshop on Parallel and Distributed Algorithms, pp. 215–226. North-Holland, Amsterdam (1989)
5. Lecture Notes in Computer Science;S. Qadeer,2005