共 50 条
- [31] Reachability testing of asynchronous message-passing programs SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 50 - 61
- [32] Deadlock analysis of synchronous message-passing programs INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 62 - 69
- [34] Bounded Phase Analysis of Message-Passing Programs TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 451 - 465
- [35] Orthogonal processor groups for message-passing programs HIGH-PERFORMANCE COMPUTING AND NETWORKING, 2001, 2110 : 363 - 372
- [37] F-MPJ: scalable Java']Java message-passing communications on parallel systems JOURNAL OF SUPERCOMPUTING, 2012, 60 (01): : 117 - 140
- [38] Derivation of scalable message-passing algorithms using parallel combinatorial list generator functions COMMUNICATING PROCESS ARCHITECTURES 2004, 2004, 62 : 373 - 386
- [40] Optimistic simulation of parallel message-passing applications 15TH WORKSHOP ON PARALLEL AND DISTRIBUTED SIMULATION, PROCEEDINGS, 2001, : 173 - 181