2024
DOI: 10.1007/978-3-031-57231-9_12
|View full text |Cite
|
Sign up to set email alerts
|

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability

Lucie Guillou,
Corto Mascle,
Nicolas Waldburger

Abstract: We consider the parameterized verification of networks of agents which communicate through unreliable broadcasts. In this model, agents have local registers whose values are unordered and initially distinct and may therefore be thought of as identifiers. When an agent broadcasts a message, it appends to the message the value stored in one of its registers. Upon reception, an agent can store the received value or test it for equality against one of its own registers. We consider the coverability problem, where … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 23 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?