共 50 条
- [35] Non-blocking Binary Search Trees PODC 2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2010, : 131 - 140
- [37] A STUDY OF NON-BLOCKING SWITCHING NETWORKS BELL SYSTEM TECHNICAL JOURNAL, 1953, 32 (02): : 406 - 424
- [38] Modular Verification of a Non-Blocking Stack CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 297 - 302
- [40] Design of non-blocking permutation generator 2002 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2002, : 2090 - 2094