Reasoning about Consistency Choices in Modern Distributed Systems

被引:0
|
作者
Gotsman, Alexey [1 ]
机构
[1] IMDEA Spain, Madrid, Spain
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:3 / 3
页数:1
相关论文
共 50 条
  • [1] Tutorial: Consistency Choices in Modern Distributed Systems
    Gotsman, Alexey
    [J]. PODC'18: PROCEEDINGS OF THE 2018 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2018, : 491 - 491
  • [2] 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
    Gotsman, Alexey
    Yang, Hongseok
    Ferreira, Carla
    Najafzadeh, Mahsa
    Shapiro, Marc
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 371 - 384
  • [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 knowledge in asynchronous distributed systems
    Costa, Vania
    Benevides, Mario
    [J]. LOGIC JOURNAL OF THE IGPL, 2005, 13 (01) : 5 - 28
  • [7] Illusions in reasoning about consistency
    Johnson-Laird, PN
    Legrenzi, P
    Girotto, V
    Legrenzi, MS
    [J]. SCIENCE, 2000, 288 (5465) : 531 - 532
  • [8] REASONING ABOUT KNOWLEDGE TO UNDERSTAND DISTRIBUTED AI SYSTEMS
    MAZER, MS
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1991, 21 (06): : 1333 - 1346
  • [9] USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS
    HALPERN, JY
    [J]. ANNUAL REVIEW OF COMPUTER SCIENCE, 1987, 2 : 37 - 68
  • [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