UNDERSTANDING CONCURRENT OBJECTS

被引：0
|
作者：
JUL, E [1 ]
机构：
[1] UNIV COPENHAGEN,DEPT COMP SCI,DK-1168 COPENHAGEN,DENMARK
来源：
JOURNAL OF OBJECT-ORIENTED PROGRAMMING | 1992年 / 4卷 / 08期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：6 / 6
页数：1
相关论文
共 50 条
  • [41] Chu spaces and their interpretation as concurrent objects
    Pratt, V
    COMPUTER SCIENCE TODAY: RECENT TRENDS AND DEVELOPMENTS, 1995, 1000 : 392 - 405
  • [42] Tractable Refinement Checking for Concurrent Objects
    Bouajjani, Ahmed
    Emmi, Michael
    Enea, Constantin
    Hamza, Jad
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 651 - 662
  • [43] Why Concurrent Objects Are Recurrently Complicated
    Skudlarek, Joseph P.
    COMMUNICATIONS OF THE ACM, 2011, 54 (06) : 6 - 6
  • [44] Understanding the objects of music
    Worth, SE
    JOURNAL OF AESTHETIC EDUCATION, 2000, 34 (01): : 102 - 107
  • [45] Specification and verification of synchronizing concurrent objects
    Ciobanu, G
    Lucanu, D
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 307 - 327
  • [46] Concurrent execution of dynamic objects on transputers
    Lai, Siet-Leng
    Loe, Kia-Fock
    International Conference on Applications of Transputers, 1991,
  • [47] .NET as a platform for implementing concurrent objects
    Nebro, AJ
    Alba, E
    Luna, R
    Troya, JM
    EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS, 2002, 2400 : 125 - 129
  • [48] A Separation Logic for Refining Concurrent Objects
    Turon, Aaron
    Wand, Mitchell
    ACM SIGPLAN NOTICES, 2011, 46 (01) : 247 - 258
  • [49] INFANTS UNDERSTANDING OF OBJECTS
    SLATER, A
    MORISON, V
    SOMERS, M
    BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1987, 40 : A99 - A99
  • [50] SPECIFYING CONCURRENT OBJECTS AS COMMUNICATING PROCESSES
    MISRA, J
    SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 159 - 184
12345