Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks (Q4910461)
From MaRDI portal
scientific article; zbMATH DE number 6145872
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks |
scientific article; zbMATH DE number 6145872 |
Statements
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks (English)
0 references
18 March 2013
0 references
infinite-state systems
0 references
broadcast protocols
0 references
verification
0 references
