Yu Lei, Kuo-Chung Tai. Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. In 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA. pages 316-328, IEEE Computer Society, 2002. [doi]
Abstract is missing.