共 50 条
- [11] Synthesis of safe message-passing systems FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 277 - 289
- [14] Snap-Stabilization in Message-Passing Systems PODC'08: PROCEEDINGS OF THE 27TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2008, : 443 - 443
- [15] Unifying stabilization and termination in message-passing systems 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2001, : 99 - 106
- [16] SHARING MEMORY ROBUSTLY IN MESSAGE-PASSING SYSTEMS JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1995, 42 (01): : 124 - 142
- [18] Efficient message-passing within SMP systems RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2003, 2840 : 286 - 293
- [20] Propositional dynamic logic for message-passing systems FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 303 - +