Reasoning about Consistency Choices in Modern Distributed Systems

被引：0
|
作者：
Gotsman, Alexey [1 ]
机构：
[1] IMDEA Spain, Madrid, Spain
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2018年 / 279期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：3 / 3
页数：1
相关论文
共 50 条
  • [21] Reasoning about Normative Systems
    van der Hoek, Wiebe
    [J]. LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2010, 223 : 3 - 3
  • [22] REASONING ABOUT INTERACTIVE SYSTEMS
    AMBRIOLA, V
    NOTKIN, D
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 272 - 276
  • [23] REASONING ABOUT NAMING SYSTEMS
    BOWMAN, M
    DEBRAY, SK
    PETERSON, LL
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 795 - 825
  • [24] Reasoning about Ecological Systems
    Zimmerman, Corinne
    Tobin, Renee M.
    Cossey, Andrea
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 1661 - 1661
  • [25] Reasoning about linear systems
    Arthan, Rob
    Martin, Ursula
    Mathiesen, Erik Arne
    Oliva, Paulo
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 123 - +
  • [26] Influence-based model decomposition for reasoning about spatially distributed physical systems
    Bailey-Kellogg, C
    Zhao, F
    [J]. ARTIFICIAL INTELLIGENCE, 2001, 130 (02) : 125 - 166
  • [27] Monotonic Prefix Consistency in Distributed Systems
    Girault, Alain
    Gossler, Gregor
    Guerraoui, Rachid
    Hamza, Jad
    Seredinschi, Dragos-Adrian
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2018, 2018, 10854 : 41 - 57
  • [28] Comprehending Concurrency and Consistency in Distributed Systems
    Naik, Nitin
    [J]. 7TH IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (IEEE ISSE 2021), 2021,
  • [29] Flexible Consistency for Distributed Storage Systems
    Chen, Longbin
    Dai, Wenyun
    Qiu, Meikang
    Liu, Meiqin
    Xiong, Zenggang
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON SMART CLOUD (SMARTCLOUD), 2017, : 232 - 237
  • [30] Consistency Tradeoffs in Modern Distributed Database System Design
    Abadi, Daniel J.
    [J]. COMPUTER, 2012, 45 (02) : 37 - 42
12345