SPECIFYING CONCURRENT OBJECTS

被引：0
|
作者：
KRAMER, B [1 ]
机构：
[1] GERMAN RES CTR COMP SCI,D-5205 ST AUGUSTIN 1,FED REP GER
来源：
SIGPLAN NOTICES | 1989年 / 24卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：162 / 164
页数：3
相关论文
共 50 条
  • [21] SPECIFYING THE BEHAVIOR OF GRAPHICAL OBJECTS USING ESTEREL
    CLEMENT, D
    INCERPI, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 111 - 125
  • [22] CONSTRAINT ANALYSIS FOR SPECIFYING PERSPECTIVES OF CLASS OBJECTS
    URBAN, SD
    DELCAMBRE, LML
    PROCEEDINGS : FIFTH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, 1989, : 10 - 17
  • [23] Abstraction for concurrent objects
    Filipovic, Ivana
    O'Hearn, Peter
    Rinetzky, Noam
    Yang, Hongseok
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (51-52) : 4379 - 4398
  • [24] Progress of Concurrent Objects
    Liang, Hongjin
    Feng, Xinyu
    FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, 2020, 5 (04): : 282 - 414
  • [25] Abstraction for Concurrent Objects
    Filipovic, Ivana
    O'Hearn, Peter
    Rinetzky, Noam
    Yang, Hongseok
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 252 - 266
  • [26] UNDERSTANDING CONCURRENT OBJECTS
    JUL, E
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 4 (08): : 6 - 6
  • [27] LINEARIZABLE CONCURRENT OBJECTS
    HERLIHY, MP
    WING, JM
    SIGPLAN NOTICES, 1989, 24 (04): : 133 - 135
  • [28] Calculus for concurrent objects
    Di, Blasio, Paolo
    Fisher, Kathleen
    Lecture Notes in Computer Science, 1996, 1119
  • [29] The concurrent objects calculus
    Zhang, Q
    Li, WH
    Chen, SH
    TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 381 - 386
  • [30] CONCURRENT PROCESSES AS OBJECTS
    MILNER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 9 - 9
12345