共 50 条
- [42] Efficient message-passing within SMP systems RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2003, 2840 : 286 - 293
- [43] Propositional dynamic logic for message-passing systems FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 303 - +
- [45] Snap-Stabilization in Message-Passing Systems DISTRIBUTED COMPUTING AND NETWORKING, 2009, 5408 : 281 - +
- [46] Unifying stabilization and termination in message-passing systems Distributed Computing, 2005, 17 : 279 - 290
- [48] EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats PROCEEDINGS OF THE 28TH USENIX SECURITY SYMPOSIUM, 2019, : 1465 - 1482
- [49] LoGPX: A New Communication Model for Message-Passing Programs PROCEEDINGS OF THE 2011 INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS, 2011, : 213 - 219
- [50] An efficient universal construction for message-passing systems DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, 2508 : 133 - 147