UNAMBIGUOUS SHARED-MEMORY SYSTEMS

被引：0
|
作者：
Morin, Remi [1 ]
机构：
[1] Lab Informat Fondamentale Marseille, F-13288 Marseille 9, France
来源：
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE | 2010年 / 21卷 / 04期
关键词：
ASYNCHRONOUS CELLULAR-AUTOMATA; LANGUAGES;
D O I：
10.1142/S0129054110007489
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Shared-memory systems appear as a generalization of asynchronous cellular automata. In this paper we relate the partial-order semantics of shared-memory systems to Mazurkiewicz trace languages by means of a new refinement construction. We show that a set of labeled partial orders is recognized by some unambiguous shared-memory system if and only if it is definable in monadic second-order logic and media-bounded.
引用
收藏
页码：665 / 685
页数：21
相关论文
共 50 条
  • [1] MSO Logic for Unambiguous Shared-Memory Systems
    Morin, Remi
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2008, 5257 : 516 - 528
  • [2] KNOWLEDGE IN SHARED-MEMORY SYSTEMS
    MERRITT, M
    TAUBENFELD, G
    [J]. DISTRIBUTED COMPUTING, 1993, 7 (02) : 99 - 109
  • [3] Semantics of deterministic shared-memory systems
    Morin, Remi
    [J]. CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 36 - 51
  • [4] UCAR and HP to collaborate on shared-memory systems
    不详
    [J]. IEEE CONCURRENCY, 1997, 5 (03): : 79 - 79
  • [5] Parameterized Verification of Asynchronous Shared-Memory Systems
    Esparza, Javier
    Ganty, Pierre
    Majumdar, Rupak
    [J]. JOURNAL OF THE ACM, 2016, 63 (01)
  • [6] Queue structures for shared-memory multiprocessor systems
    Zhu, WP
    [J]. 34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 99 - 106
  • [7] Design issues for distributed shared-memory systems
    Lenoski, DE
    [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 62 - 62
  • [8] Truss Decomposition on Shared-Memory Parallel Systems
    Smith, Shaden
    Liu, Xing
    Ahmed, Nesreen K.
    Tom, Ancy Sarah
    Petrini, Fabrizio
    Karypis, George
    [J]. 2017 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2017,
  • [9] DISTRIBUTED SHARED-MEMORY IMPLEMENTATION FOR MULTITRANSPUTER SYSTEMS
    TSANAKAS, P
    PAPAKONSTANTINOU, G
    EFTHIVOULIDIS, G
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (08) : 499 - 506
  • [10] Shared-memory synchronization
    Scott, Michael L.
    [J]. Synthesis Lectures on Computer Architecture, 2013, 23 : 1 - 220
12345