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 条
  • [31] Consistency Tradeoffs in Modern Distributed Database System Design
    Abadi, Daniel J.
    [J]. COMPUTER, 2012, 45 (02) : 37 - 42
  • [32] Reasoning about substitute choices and preference ordering in e-services
    de Kinderen, Sybren
    Gordijn, Jaap
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2008, 5074 : 390 - 404
  • [33] A decision network account of reasoning about other people's choices
    Jern, Alan
    Kemp, Charles
    [J]. COGNITION, 2015, 142 : 12 - 38
  • [34] Reasoning about distributed information with infinitely many agents
    Guzman, Michell
    Knight, Sophia
    Quintero, Santiago
    Ramirez, Sergio
    Rueda, Camilo
    Valencia, Frank
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 121 (121)
  • [35] Reasoning about causality between distributed nonatomic events
    Kshemkalyani, AD
    [J]. ARTIFICIAL INTELLIGENCE, 1997, 92 (1-2) : 301 - 315
  • [36] DISTRIBUTED CONTROL OF LINEAR SYSTEMS ALLOWING CHOICES
    Liu, Zhongchang
    Wong, Wing Shing
    [J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2015, 53 (02) : 670 - 689
  • [37] Reasoning about synchronization in GALS systems
    Supratik Chakraborty
    Joycee Mekie
    Dinesh K. Sharma
    [J]. Formal Methods in System Design, 2006, 28 : 153 - 169
  • [38] REASONING ABOUT SYSTEMS OF LINEAR INEQUALITIES
    KAUFL, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 563 - 572
  • [39] Reasoning about models of nonlinear systems
    Stolle, R
    Easley, M
    Bradley, E
    [J]. LOGICAL AND COMPUTATIONAL ASPECTS OF MODEL-BASED REASONING, 2002, 25 : 249 - 271
  • [40] ON MODELING AND REASONING ABOUT HYBRID SYSTEMS
    SEKAR, RC
    LIN, YJ
    NARAIN, S
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 115 - 129
12345