USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS

被引：59
|
作者：
HALPERN, JY
机构：
来源：
ANNUAL REVIEW OF COMPUTER SCIENCE | 1987年 / 2卷
关键词：
D O I：
10.1146/annurev.cs.02.060187.000345
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：37 / 68
页数：32
相关论文
共 50 条
  • [1] Reasoning about knowledge in asynchronous distributed systems
    Costa, Vania
    Benevides, Mario
    [J]. LOGIC JOURNAL OF THE IGPL, 2005, 13 (01) : 5 - 28
  • [2] REASONING ABOUT KNOWLEDGE TO UNDERSTAND DISTRIBUTED AI SYSTEMS
    MAZER, MS
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1991, 21 (06): : 1333 - 1346
  • [3] Reasoning about Distributed Reconfigurable Systems
    Ahrens, Emma
    Bozga, Marius
    Iosif, Radu
    Katoen, Joost-Pieter
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [4] A Framework for Prototyping and Reasoning about Distributed Systems
    Aldinucci, Marco
    Danelutto, Marco
    Kilpatrick, Peter
    [J]. PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS, 2008, 15 : 235 - +
  • [5] Reasoning about asynchronous behaviour in distributed systems
    Henderson, P
    [J]. EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 17 - 24
  • [6] Reasoning about Distributed Knowledge-Transforming Peer Interactions
    Schorlemmer, Marco
    Robertson, David
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2011, 23 (09) : 1419 - 1431
  • [7] Reasoning about Consistency Choices in Modern Distributed Systems
    Gotsman, Alexey
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (279): : 3 - 3
  • [8] Reasoning about knowledge using defeasible logic
    Walton, Douglas
    [J]. ARGUMENT & COMPUTATION, 2011, 2 (2-3) : 131 - 155
  • [9] REASONING ABOUT KNOWLEDGE
    HALPERN, JY
    [J]. MATHEMATICAL SOCIAL SCIENCES, 1994, 28 (03) : 223 - 223
  • [10] Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems
    Bozga, Marius
    Bueri, Lucas
    Iosif, Radu
    [J]. AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 691 - 711
12345