共 50 条
- [1] Tutorial: Consistency Choices in Modern Distributed Systems [J]. PODC'18: PROCEEDINGS OF THE 2018 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2018, : 491 - 491
- [3] Reasoning about Distributed Reconfigurable Systems [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
- [4] A Framework for Prototyping and Reasoning about Distributed Systems [J]. PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS, 2008, 15 : 235 - +
- [5] Reasoning about asynchronous behaviour in distributed systems [J]. EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 17 - 24
- [8] REASONING ABOUT KNOWLEDGE TO UNDERSTAND DISTRIBUTED AI SYSTEMS [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1991, 21 (06): : 1333 - 1346
- [9] USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS [J]. ANNUAL REVIEW OF COMPUTER SCIENCE, 1987, 2 : 37 - 68
- [10] Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems [J]. AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 691 - 711