On the verification of broadcast protocols

被引：0
|
作者：
Esparza, Javier [1 ]
Finkel, Alain [1 ]
Mayr, Richard [1 ]
机构：
[1] Technische Universitaet Muenchen, Muenchen, Germany
来源：
Proceedings - Symposium on Logic in Computer Science | 1999年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：352 / 359
相关论文
共 50 条
  • [1] Parametrized Verification of Distributed Broadcast Protocols
    Delzanno, Giorgio
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (220):
  • [2] Parameterized Verification and Model Checking for Distributed Broadcast Protocols
    Delzanno, Giorgio
    [J]. GRAPH TRANSFORMATION, 2014, 8571 : 1 - 16
  • [3] MODELING AND VERIFICATION OF REAL-TIME PROTOCOLS FOR BROADCAST NETWORKS
    JAIN, P
    LAM, SS
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (08) : 924 - 937
  • [4] Formal verification and simulation for performance analysis for probabilistic broadcast protocols
    Fehnker, Ansgar
    Gao, Peng
    [J]. AD-HOC, MOBILE, AND WIRELESS NETWORKS, PROCEEDINGS, 2006, 4104 : 128 - 141
  • [5] Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
    Guillou, Lucie
    Sangnier, Arnaud
    Sznajder, Nathalie
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2024, 2024, 14628 : 291 - 311
  • [6] Learning Broadcast Protocols
    Fisman, Dana
    Izsak, Noa
    Jacobs, Swen
    [J]. THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 11, 2024, : 12016 - 12023
  • [7] RELIABLE BROADCAST PROTOCOLS
    CHANG, JM
    MAXEMCHUK, NF
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1984, 2 (03): : 251 - 273
  • [8] Parametric Timed Broadcast Protocols
    Andre, Etienne
    Delahaye, Benoit
    Fournier, Paulin
    Lime, Didier
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 491 - 512
  • [9] ASYNCHRONOUS CONSENSUS AND BROADCAST PROTOCOLS
    BRACHA, G
    TOUEG, S
    [J]. JOURNAL OF THE ACM, 1985, 32 (04) : 824 - 840
  • [10] Broadcast Protocols in Wireless Networks
    Kouno, Kazuaki
    Duolikun, Dilawear
    Enokido, Tomoya
    Takizawa, Makoto
    [J]. 2015 IEEE 29TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS WAINA 2015, 2015, : 272 - 277
12345