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 条
  • [41] Selecting and mapping test sequences from formal specifications of concurrent programs
    Chen, J
    Carver, R
    IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 112 - 119
  • [42] Towards testing SDL specifications:: Models and fault coverage for concurrent timers
    Fecko, MA
    Uyar, MÜ
    Duale, AY
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2003, 2003, 2767 : 273 - 288
  • [43] A Concurrent and Hierarchy Target Learning Architecture for Classification in SAR Application
    Touafria, Mohamed
    Yang, Qiang
    SENSORS, 2018, 18 (10)
  • [44] Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy
    Frederiksen, Soren Kristoffer Stiil
    Miltersen, Peter Bro
    ALGORITHMS AND COMPUTATION, 2013, 8283 : 457 - 467
  • [45] Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications
    Wei Wan
    Jamal Bentahar
    Hamdi Yahyaoui
    Abdessamad Ben Hamza
    Applied Intelligence, 2016, 45 : 747 - 776
  • [46] MODULAR VERIFICATION OF CORRECTNESS PROPERTIES IN ENVIRONMENT FOR CONCURRENT SYSTEMS SPECIFICATIONS - DEADLOCK CASE
    DEFRANCESCO, N
    VAGLINI, G
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (02) : 133 - 148
  • [47] Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications
    Sakakibara, Ami
    Ushio, Toshimitsu
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2018, E101A (02): : 313 - 321
  • [48] Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications
    Wan, Wei
    Bentahar, Jamal
    Yahyaoui, Hamdi
    Ben Hamza, Abdessamad
    APPLIED INTELLIGENCE, 2016, 45 (03) : 747 - 776
  • [49] A NEW RIGOROUS APPROACH FOR MODELING AND REFINING CONCURRENT BEHAVIOR IN JS']JSD SPECIFICATIONS
    ROSE, J
    STRUCTURED PROGRAMMING, 1992, 13 (01): : 11 - 21
  • [50] Making abstract specifications concrete to end-users: the visual workshop hierarchy strategy
    Carrara, P
    Fogli, D
    Fresta, G
    Mussio, P
    IEEE 2002 SYMPOSIA ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2002, : 43 - 45
12345