Yen-Jung Chang, Vijay K. Garg. A parallel algorithm for global states enumeration in concurrent systems. In Albert Cohen, David Grove, editors, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA, February 7-11, 2015. pages 140-149, ACM, 2015. [doi]
Abstract is missing.