BOOK-CHAPTER
Constraint-Based Analysis of Broadcast Protocols
Giorgio DelzannoAndreas PodelskiJavier Esparza
Year: 1999 Lecture notes in computer science Pages: 50-66 Publisher: Springer Science+Business Media
Keywords:
Computer science Rendezvous Atomic broadcast Constraint (computer-aided design) Distributed computing Property (philosophy) Process (computing) Computer network Broadcasting (networking) Theoretical computer science Programming language
Metrics
50
Cited By
4.70
FWCI (Field Weighted Citation Impact)
16
Refs
0.95
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Software Reliability and Analysis Research
Physical Sciences → Computer Science → Software
Model-Driven Software Engineering Techniques
Physical Sciences → Computer Science → Software
Related Documents
JOURNAL ARTICLE
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
Sebastian MödersheimLuca ViganòDavid Basin
Journal: Journal of Computer Security Year: 2010 Vol: 18 (4)Pages: 575-618
JOURNAL ARTICLE
Constraint differentiation: A new reduction technique for constraint-based analysis of security protocols
David BasinSebastian MödersheimLuca Viganò
Journal: Repository for Publications and Research Data (ETH Zurich) Year: 2003
BOOK-CHAPTER
Running Time Analysis of Broadcast Consensus Protocols
Lecture notes in computer science Year: 2021 Pages: 164-183
JOURNAL ARTICLE
Learning Broadcast Protocols
Dana FismanNoa IzsakSwen Jacobs
Journal: Proceedings of the AAAI Conference on Artificial Intelligence Year: 2024 Vol: 38 (11)Pages: 12016-12023
JOURNAL ARTICLE
Reliable broadcast protocols
Journal: ACM Transactions on Computer Systems Year: 1984 Vol: 2 (3)Pages: 251-273