共 50 条
- [3] Critical field-exponents for secure message-passing in modular networks [J]. NEW JOURNAL OF PHYSICS, 2018, 20
- [6] Modular Reasoning for Message-Passing Programs [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8687 : 277 - 294
- [7] Modular Reasoning for Message-Passing Programs [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 2014, 8687 : 277 - 294
- [10] Actor Services Modular Verification of Message Passing Programs [J]. PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), 2016, 9632 : 699 - 726