UNDERSTANDING CONCURRENT OBJECTS

被引:0
|
作者
JUL, E [1 ]
机构
[1] UNIV COPENHAGEN,DEPT COMP SCI,DK-1168 COPENHAGEN,DENMARK
来源
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:6 / 6
页数:1
相关论文
共 50 条
  • [31] Looking for Efficient Implementations of Concurrent Objects
    Mostefaoui, Achour
    Raynal, Michel
    PARALLEL COMPUTING TECHNOLOGIES, 2011, 6873 : 74 - 87
  • [32] A Stochastic pi calculus for concurrent objects
    Kuttler, Celine
    Lhoussaine, Cedric
    Niehren, Joachim
    ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 232 - +
  • [33] CONCURRENT OBJECTS IN A LOGIC PROGRAMMING FRAMEWORK
    MELLO, P
    SIGPLAN NOTICES, 1989, 24 (04): : 37 - 39
  • [34] A Separation Logic for Refining Concurrent Objects
    Turon, Aaron
    Wand, Mitchell
    POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 247 - 258
  • [35] Highly concurrent distributed knowledge objects
    Clark, KL
    Wang, TI
    PROCEEDINGS OF THE SECOND USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS (COOTS), 1996, : 251 - 261
  • [36] My Early Education and Concurrent Objects
    Yonezawa, Akinori
    CONCURRENT OBJECTS AND BEYOND: PAPERS DEDICATED TO AKINORI YONEZAWA ON THE OCCASION OF HIS 65TH BIRTHDAY, 2014, 8665 : 1 - 17
  • [37] Coqa: Concurrent objects with quantized atomicity
    Liu, Yu David
    Lu, Xiaoqi
    Smith, Scott F.
    COMPILER CONSTRUCTION, 2008, 4959 : 260 - 275
  • [38] Coqa: Concurrent objects with quantized atomicity
    Department of Computer Science, Johns Hopkins University
    Lect. Notes Comput. Sci., (260-275):
  • [39] Concurrent updating of large spatial objects
    Seo, Y
    Kim, D
    Hong, B
    DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, 2004, 2973 : 325 - 330
  • [40] LINEARIZABILITY - A CORRECTNESS CONDITION FOR CONCURRENT OBJECTS
    HERLIHY, MP
    WING, JM
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (03): : 463 - 492