Abstractions for distributed systems (DPA 2008)

被引：0
|
作者：
Jha, Shantenu
Katz, Dan
Parashar, Manish
Rana, Omer
Cole, Murray
机构：
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2009年 / 5415 LNCS卷
关键词：
D O I：
10.1007/978-3-642-00955-6_45
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Communication abstractions for distributed systems
    Beugnard, A
    Fiege, L
    Filman, R
    Jul, E
    Sadou, S
    Yoneki, E
    OBJECT-ORIENTED TECHNOLOGY, 2004, 3344 : 67 - 75
  • [2] Communication abstractions for distributed systems
    Beugnard, A
    Fiege, L
    Filman, R
    Jul, E
    Sadou, S
    OBJECT-ORIENTED TECHNOLOGY, 2003, 3013 : 17 - 29
  • [3] Group Abstractions for Organizing Dynamic Distributed Systems
    Cunha, Jose C.
    Morgado, Carmen P.
    Custodio, Jorge F.
    EURO-PAR 2008 WORKSHOPS - PARALLEL PROCESSING, 2009, 5415 : 450 - 459
  • [4] Musical Abstractions in Distributed Multi-Robot Systems
    Albin, Aaron
    Weinberg, Gil
    Egerstedt, Magnus
    2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2012, : 451 - 458
  • [5] Programming language abstractions for modularly verified distributed systems
    University of Washington, Seattle
    WA, United States
    不详
    Leibniz Int. Proc. Informatics, LIPIcs, 1868,
  • [6] Modular abstractions for verifying real-time distributed systems
    De-Leon, Hana, 1600, (02):
  • [7] Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems
    Galeana, Hugo Rincon
    Schmid, Ulrich
    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2024, 2024, 14662 : 501 - 506
  • [8] MODULAR ABSTRACTIONS FOR VERIFYING REAL-TIME DISTRIBUTED SYSTEMS
    DELEON, H
    GRUMBERG, O
    FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (01) : 7 - 43
  • [9] ABSTRACTIONS FOR NODE LEVEL PASSIVE FAULT-DETECTION IN DISTRIBUTED SYSTEMS
    OIKONOMOU, KN
    KAIN, RY
    IEEE TRANSACTIONS ON COMPUTERS, 1983, 32 (06) : 543 - 550
  • [10] ABSTRACTIONS FOR DISTRIBUTED-PROGRAMMING
    COOK, RP
    COMPUTER LANGUAGES, 1981, 6 (3-4): : 131 - 138
12345