Transactional monitors for concurrent objects

被引：0
|
作者：
Department of Computer Sciences, Purdue University, West Lafayette [1 ]
IN
47906, United States
机构：
来源：
IBM; IQSOFT; Microsoft Research; NOKIA; Simula research laboratory | 1611年 / 518-541卷 / 2004期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [21] Abstraction for concurrent objects
    Filipovic, Ivana
    O'Hearn, Peter
    Rinetzky, Noam
    Yang, Hongseok
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (51-52) : 4379 - 4398
  • [22] UNDERSTANDING CONCURRENT OBJECTS
    JUL, E
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 4 (08): : 6 - 6
  • [23] Abstraction for Concurrent Objects
    Filipovic, Ivana
    O'Hearn, Peter
    Rinetzky, Noam
    Yang, Hongseok
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 252 - 266
  • [24] LINEARIZABLE CONCURRENT OBJECTS
    HERLIHY, MP
    WING, JM
    SIGPLAN NOTICES, 1989, 24 (04): : 133 - 135
  • [25] Calculus for concurrent objects
    Di, Blasio, Paolo
    Fisher, Kathleen
    Lecture Notes in Computer Science, 1996, 1119
  • [26] The concurrent objects calculus
    Zhang, Q
    Li, WH
    Chen, SH
    TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 381 - 386
  • [27] CONCURRENT PROCESSES AS OBJECTS
    MILNER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 9 - 9
  • [28] Agents and concurrent objects
    Briot, JP
    IEEE CONCURRENCY, 1998, 6 (04): : 74 - +
  • [29] Approximate Count and Queue Objects in Transactional Memory
    Assiri, Basem
    Busch, Costas
    2017 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2017, : 894 - 903
  • [30] C4: Verified Transactional Objects
    Lesani, Mohsen
    Xia, Li-yao
    Kaseorg, Anders
    Bell, Christian J.
    Chlipala, Adam
    Pierce, Benjamin C.
    Zdancewic, Steve
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
12345