共 50 条
- [41] Modular Termination Verification for Non-blocking Concurrency PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), 2016, 9632 : 176 - 201
- [42] Formalising progress properties of non-blocking programs FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 284 - 303
- [43] Non-blocking transactional mobile agent execution 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 443 - 444
- [44] Non-blocking Patricia Tries with Replace Operations 2013 IEEE 33RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), 2013, : 216 - 225
- [46] Optimizing non-blocking collective operations for InfiniBand 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 182 - +
- [48] Design and Modeling of a Non-blocking Checkpointing System 2012 INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS (SC), 2012,
- [50] Non-blocking message total ordering protocol Science in China Series F: Information Sciences, 2008, 51 : 1919 - 1934