LINEARIZABLE CONCURRENT OBJECTS

被引：0
|
作者：
HERLIHY, MP [1 ]
WING, JM [1 ]
机构：
[1] CARNEGIE MELLON UNIV,DEPT COMP SCI,PITTSBURGH,PA 15213
来源：
SIGPLAN NOTICES | 1989年 / 24卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：133 / 135
页数：3
相关论文
共 50 条
  • [31] A universal construction for concurrent objects
    Guerraoui, Rachid
    Raynal, Michel
    ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 959 - +
  • [32] SPECIFYING AND INHERITING CONCURRENT OBJECTS
    RYU, K
    MAENG, S
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 167 - 170
  • [33] ON THE INHERENT SEQUENTIALITY OF CONCURRENT OBJECTS
    Ellen, Faith
    Hendler, Danny
    Shavit, Nir
    SIAM JOURNAL ON COMPUTING, 2012, 41 (03) : 519 - 536
  • [34] Distributed objects for concurrent engineering
    Estublier, J
    SYSTEM CONFIGURATION MANAGEMENT, 1999, 1675 : 172 - 185
  • [35] Communicating Concurrent Objects in HiddenCCS
    Ciobanu, Gabriel
    Lucanu, Dorel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 353 - 373
  • [36] A compositional approach to concurrent objects
    Zhang, XG
    Potter, J
    TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 116 - 126
  • [37] A LOGICAL THEORY OF CONCURRENT OBJECTS
    MESEGUER, J
    SIGPLAN NOTICES, 1990, 25 (10): : 101 - 115
  • [38] Efficient linearizable implementation of shared FIFO queues and general objects on a distributed system
    Inoue, M
    Masuzawa, T
    Tokura, N
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1998, E81A (05) : 768 - 775
  • [39] LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
    Qiu, Longfei
    Kim, Yoonseung
    Shin, Ji-Yong
    Kim, Jieung
    Honore, Wolf
    Shao, Zhong
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (PLDI): : 1140 - 1164
  • [40] A Simple and Practical Concurrent Non-blocking Unbounded Graph with Linearizable Reachability Queries
    Chatterjee, Bapi
    Peri, Sathya
    Sa, Muktikanta
    Singhal, Nandini
    ICDCN '19: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, 2019, : 168 - 177
12345