@inproceedings{add06fe42471449c9b92eebadab3edeb,
title = "Constraint-based analysis of broadcast protocols",
abstract = "Broadcast protocols are systems composed of a finite but ar- bitrarily large number of processes that communicate by rendezvous (two processes exchange a message) or by broadcast (a process sends a mes- sage to all other processes). The paper describes an optimized algorithm for the automatic verification of safety properties in broadcast proto- cols. The algorithm checks whether a property holds for any number of processes.",
author = "Giorgio Delzanno and Javier Esparza and Andreas Podelski",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999 ; Conference date: 20-09-1999 Through 25-09-1999",
year = "1999",
doi = "10.1007/3-540-48168-0_5",
language = "English",
isbn = "3540665366",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "50--66",
editor = "J{\"o}rg Flum and Mario Rodriguez-Artalejo",
booktitle = "Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings",
}