1. Anderson, R.J., Woll, H.: Wait-free parallel algorithms for the union-find problem. In: Proc. 23rd ACM Symposium on Theory of Computing, pp. 370–380 (1994)
2. Barnat, J., Brim, L., Chaloupka, J.: Parallel breadth-first search LTL model-checking. In: ASE 2003, pp. 106–115. IEEE Computer Society (2003)
3. Barnat, J., Brim, L., Chaloupka, J.: From distributed memory cycle detection to parallel LTL model checking. In: FMICS 2004, vol. 133. ENTCS, pp. 21–39 (2005)
4. Lecture Notes in Computer Science;J. Barnat,2009
5. Barnat, J., Brim, L., Ročkai, P.: Scalable shared memory LTL model checking. STTT 12(2), 139–153 (2010)