A Linearizabilitybased Hierarchy for Concurrent Specifications

被引：5
|
作者：
Castaneda, Armando [1 ]
Rajsbaum, Sergio [1 ]
Raynal, Michel [2 ,3 ]
机构：
[1] Univ Nacl Autonoma Mexico, Inst Matemat, Mexico City, DF, Mexico
[2] Univ Rennes, IRISA, Rennes, France
[3] Polytech Univ Hong Kong, Hong Kong, Peoples R China
来源：
COMMUNICATIONS OF THE ACM | 2023年 / 66卷 / 01期
关键词：
D O I：
10.1145/3546826
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects. © 2022 ACM.
引用
收藏
页码：86 / 97
页数：12
相关论文
共 50 条
  • [1] A hierarchy of authentication specifications
    Lowe, G
    10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 31 - 43
  • [2] TRANSFORMATIONS OF SEQUENTIAL SPECIFICATIONS INTO CONCURRENT SPECIFICATIONS BY SYNCHRONIZATION GUARDS
    JANICKI, R
    MULDNER, T
    THEORETICAL COMPUTER SCIENCE, 1990, 77 (1-2) : 97 - 129
  • [3] DECOMPOSING SPECIFICATIONS OF CONCURRENT SYSTEMS
    ABADI, M
    LAMPORT, L
    PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 327 - 340
  • [4] Abstract Specifications for Concurrent Maps
    Xiong, Shale
    Pinto, Pedro da Rocha
    Ntzik, Gian
    Gardner, Philippa
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 964 - 990
  • [5] On the concurrent behavior of SCR specifications
    Hong, HS
    Cha, SD
    Kwon, YR
    COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 258 - 263
  • [6] On the implementation complexity of specifications of concurrent programs
    Attie, PC
    DISTRIBUTED COMPUTING, PROCEEDINGS, 2003, 2848 : 151 - 165
  • [7] On optimization in composition of concurrent formal specifications
    Bista, BB
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (11) : 2905 - 2908
  • [8] Steps in Modular Specifications for Concurrent Modules
    Pinto, Pedro da Rocha
    Dinsdale-Young, Thomas
    Gardner, Philippa
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 319 : 3 - 18
  • [9] ANALYZING SEMANTICS OF CONCURRENT HARDWARE SPECIFICATIONS
    ROSENBLUM, LY
    YAKOVLEV, AV
    PROCEEDINGS OF THE 1989 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, VOL 3: ALGORITHMS AND APPLICATIONS, 1989, : 211 - 218
  • [10] Hierarchy of Three-Party Consistency Specifications
    Loss, Julian
    Maurer, Ueli
    Tschudi, Daniel
    2016 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, 2016, : 3048 - 3052
12345