MSO Logic for Unambiguous Shared-Memory Systems

被引：0
|
作者：
Morin, Remi [1 ]
机构：
[1] Aix Marseille Univ, CNRS, UMR 6166, Lab Informat Fondamentale Marseille, F-13288 Marseille 9, France
来源：
DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS | 2008年 / 5257卷
关键词：
D O I：
暂无
中图分类号：
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.
引用
收藏
页码：516 / 528
页数：13
相关论文
共 50 条
  • [1] UNAMBIGUOUS SHARED-MEMORY SYSTEMS
    Morin, Remi
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (04) : 665 - 685
  • [2] A SHARED-MEMORY MULTIPROCESSOR LOGIC SIMULATOR
    BEIHL, G
    EIGHTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS: 1989 CONFERENCE PROCEEDINGS, 1989, : 26 - 28
  • [3] KNOWLEDGE IN SHARED-MEMORY SYSTEMS
    MERRITT, M
    TAUBENFELD, G
    DISTRIBUTED COMPUTING, 1993, 7 (02) : 99 - 109
  • [4] Semantics of deterministic shared-memory systems
    Morin, Remi
    CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 36 - 51
  • [5] Performance evaluation of or-parallel logic programming systems on distributed shared-memory architectures
    Calegario, VM
    Dutra, ID
    EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 : 1484 - 1491
  • [6] Queue structures for shared-memory multiprocessor systems
    Zhu, WP
    34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 99 - 106
  • [7] Parameterized Verification of Asynchronous Shared-Memory Systems
    Esparza, Javier
    Ganty, Pierre
    Majumdar, Rupak
    JOURNAL OF THE ACM, 2016, 63 (01)
  • [8] UCAR and HP to collaborate on shared-memory systems
    不详
    IEEE CONCURRENCY, 1997, 5 (03): : 79 - 79
  • [9] Truss Decomposition on Shared-Memory Parallel Systems
    Smith, Shaden
    Liu, Xing
    Ahmed, Nesreen K.
    Tom, Ancy Sarah
    Petrini, Fabrizio
    Karypis, George
    2017 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2017,
  • [10] Design issues for distributed shared-memory systems
    Lenoski, DE
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 62 - 62
12345