Calculus for concurrent objects

被引：0
|
作者：
Di, Blasio, Paolo
Fisher, Kathleen
机构：
来源：
Lecture Notes in Computer Science | 1996年 / 1119卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] A lambda calculus of incomplete objects
    Bono, V
    Bugliesi, M
    Liquori, L
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 218 - 229
  • [22] Matching for the lambda calculus of objects
    Bono, V
    Bugliesi, M
    THEORETICAL COMPUTER SCIENCE, 1999, 212 (1-2) : 101 - 140
  • [23] OBJECTS IN THE PI-CALCULUS
    WALKER, D
    INFORMATION AND COMPUTATION, 1995, 116 (02) : 253 - 271
  • [24] Abstraction for concurrent objects
    Filipovic, Ivana
    O'Hearn, Peter
    Rinetzky, Noam
    Yang, Hongseok
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (51-52) : 4379 - 4398
  • [25] Progress of Concurrent Objects
    Liang, Hongjin
    Feng, Xinyu
    FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, 2020, 5 (04): : 282 - 414
  • [26] SPECIFYING CONCURRENT OBJECTS
    KRAMER, B
    SIGPLAN NOTICES, 1989, 24 (04): : 162 - 164
  • [27] Abstraction for Concurrent Objects
    Filipovic, Ivana
    O'Hearn, Peter
    Rinetzky, Noam
    Yang, Hongseok
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 252 - 266
  • [28] UNDERSTANDING CONCURRENT OBJECTS
    JUL, E
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 4 (08): : 6 - 6
  • [29] LINEARIZABLE CONCURRENT OBJECTS
    HERLIHY, MP
    WING, JM
    SIGPLAN NOTICES, 1989, 24 (04): : 133 - 135
  • [30] CONCURRENT PROCESSES AS OBJECTS
    MILNER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 9 - 9
12345