Brief Announcement: Decidable Graph Languages by Mediated Population Protocols

被引：0
|
作者：
Chatzigiannakis, Ioannis [1 ]
Michail, Othon [1 ]
Spirakis, Paul G. [1 ]
机构：
[1] Univ Patras, RACTI, CEID, Patras 26500, Greece
来源：
DISTRIBUTED COMPUTING, PROCEEDINGS | 2009年 / 5805卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We, work on an extension of the Population Protocol model of Angluin et al. [1] that allows edges of Hie communication graph, G, to have states that belong to a constant size set. In this extension, the so called Mediated Population Protocol model (NIPP) [2,3], both uniformity and anonymity are preserved. We here study a simplified version of MPP, the Graph Decision Mediated Population Protocol model (GDM), in order to capture MPP's ability to decide graph languages. We also prove some first impossibility results both for weakly connected and possibly disconnected communication graphs.
引用
收藏
页码：239 / +
页数：2
相关论文
共 41 条
  • [21] Cyber Attack Localization in Smart Grids by Graph Modulation (Brief Announcement)
    Drayer, Elisabeth
    Routtenberg, Tirza
    CYBER SECURITY CRYPTOGRAPHY AND MACHINE LEARNING, CSCML 2019, 2019, 11527 : 97 - 100
  • [22] Brief Announcement: Distributed Unconstrained Local Search for Multilevel Graph Partitioning
    Sanders, Peter
    Seemaier, Daniel
    PROCEEDINGS OF THE 36TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2024, 2024, : 443 - 445
  • [23] Immediate Observation in Mediated Population Protocols
    Prehn, Tobias
    Rotter, Myron
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (300): : 102 - 113
  • [24] Brief Announcement: Graph Exploration Using Constant-Size Memory and Storage
    Kitamura, Naoki
    Kakizawa, Kazuki
    Kawabata, Yuya
    Izumi, Taisuke
    PODC'18: PROCEEDINGS OF THE 2018 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2018, : 241 - 243
  • [25] Brief Announcement: Making Synchronous BFT Protocols Secure in the Presence of Mobile Sluggish Faults
    Kim, Justin
    Mehta, Vandan
    Nayak, Kartik
    Shrestha, Nibesh
    PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), 2021, : 375 - 377
  • [26] Mediated Population Protocols: Leader Election and Applications
    Das, Shantanu
    Di Luna, Giuseppe Antonio
    Flocchini, Paola
    Santoro, Nicola
    Viglietta, Giovanni
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2017), 2017, 10185 : 171 - 185
  • [27] Brief Announcement: Parallel and Distributed Programming Extensions for Mainstream Languages Based on pi-Calculus
    Viry, Patrick
    PODC 11: PROCEEDINGS OF THE 2011 ACM SYMPOSIUM PRINCIPLES OF DISTRIBUTED COMPUTING, 2011, : 343 - 344
  • [28] Brief Announcement: Revisiting the Power-law Degree Distribution for Social Graph Analysis
    Sala, Alessandra
    Zheng, Haitao
    Zhao, Ben Y.
    Gaito, Sabrina
    Rossi, Gian Paolo
    PODC 2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2010, : 400 - 401
  • [29] Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages Brief Announcement
    Verstoep, Hidde
    Hage, Jurriaan
    PROCEEDINGS OF THE 2015 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'15), 2015, : 139 - 142
  • [30] Brief Announcement: Queuing or Priority Queuing? On the Design of Cache-Coherence Protocols for Distributed Transactional Memory
    Zhang, Bo
    Ravindran, Binoy
    PODC 2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2010, : 75 - 76
12345