Ming-Ying Chung, Gianfranco Ciardo. A dynamic firing speculation to speedup distributed symbolic state-space generation. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece. IEEE, 2006. [doi]
Abstract is missing.