The following publications are possibly variants of this publication:
- Reachability Testing of Asynchronous Message-Passing ProgramsKuo-Chung Tai. pdse 1997: 50-61 [doi]
- Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing ProgramsYu Lei, Kuo-Chung Tai. issre 2002: 316-328 [doi]
- Reachability Testing of Concurrent ProgramsYu Lei, Richard H. Carver. TSE, 32(6):382-403, 2006. [doi]
- A Novel Framework for Non-Deterministic Testing of Message-Passing ProgramsYu Lei, W. Eric Wong. hase 2005: 66-75 [doi]
- Distributed reachability testing of concurrent programsRichard H. Carver, Yu Lei. concurrency, 22(18):2445-2466, 2010. [doi]
- A New Algorithm for Reachability Testing of Concurrent ProgramsYu Lei, Richard H. Carver. issre 2005: 346-355 [doi]
- A General Model for Reachability Testing of Concurrent ProgramsRichard H. Carver, Yu Lei. icfem 2004: 76-98 [doi]