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 条
  • [31] Synthesis of large dynamic concurrent programs from dynamic specifications
    Attie, Paul C.
    FORMAL METHODS IN SYSTEM DESIGN, 2016, 48 (1-2) : 94 - 147
  • [32] Translating Concurrent Action Oriented Specifications to Synchronous Guarded Actions
    Brandt, Jens
    Schneider, Klaus
    Shukla, Sandeep K.
    LCTES 10-PROCEEDINGS OF THE ACM SIGPLAN/SIGBED 2010 CONFERENCE ON LANGUAGES, COMPILERS, & TOOLS FOR EMBEDDED SYSTEMS, 2010, : 47 - 56
  • [33] Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue
    Weide, Alan
    Sivilotti, Paolo A. G.
    Sitaraman, Murali
    Verified Software: Theories, Tools, and Experiments, VSTTE 2016, 2016, 9971 : 119 - 128
  • [34] Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers
    Cortadella, J
    Kishinevsky, M
    Kondratyev, A
    Lavagno, L
    Yakovlev, A
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1997, E80D (03) : 315 - 325
  • [35] The complexity of model checking concurrent programs against CTLK specifications
    Lomuscio, Alessio
    Raimondi, Franco
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2006, 4237 : 29 - +
  • [36] Synthesis of large dynamic concurrent programs from dynamic specifications
    Paul C. Attie
    Formal Methods in System Design, 2016, 48 : 94 - 147
  • [37] Writing concurrent Java']Java programs based on CafeOBJ specifications
    Ha, Xuan-Linh
    Ogata, Kazuhiro
    2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 618 - 623
  • [38] Exponential random graph model specifications for bipartite networks A dependence hierarchy
    Wang, Peng
    Pattison, Philippa
    Robins, Garry
    SOCIAL NETWORKS, 2013, 35 (02) : 211 - 222
  • [39] Automatic compilation of concurrent hybrid factories from product assembly specifications
    Klavins, E
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 : 174 - 187
  • [40] Concurrent Learning of Control Policy and Unknown Safety Specifications in Reinforcement Learning
    Yifru, Lunet
    Baheri, Ali
    IEEE OPEN JOURNAL OF CONTROL SYSTEMS, 2024, 3 : 266 - 281
12345