JOURNAL ARTICLE
Constraint-based structuring of network protocols
Year: 1999 Journal: Distributed Computing Vol: 12 (1)Pages: 1-12 Publisher: Springer Science+Business Media
Keywords:
Liveness Computer science Component (thermodynamics) Protocol (science) Distributed computing Structuring Set (abstract data type) Constraint (computer-aided design) Theoretical computer science Computer network Programming language Mathematics
Metrics
2
Cited By
0.46
FWCI (Field Weighted Citation Impact)
18
Refs
0.60
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Distributed systems and fault tolerance
Physical Sciences → Computer Science → Computer Networks and Communications
Petri Nets in System Modeling
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Constraint satisfaction approach in structuring neural network architectures
Vittorio BauduinSalvatore CuomoVincenzo Schiano Di Cola
Journal: Journal of Computational and Applied Mathematics Year: 2025 Vol: 476 Pages: 117140-117140
BOOK-CHAPTER
Constraint-Based Analysis of Broadcast Protocols
Giorgio DelzannoAndreas PodelskiJavier Esparza
Lecture notes in computer science Year: 1999 Pages: 50-66
BOOK-CHAPTER
Generating a Real-Time Constraint Engine for Network Protocols
Mohamed Sami RakhaFahim T. ImamThomas Dean
Lecture notes in computer science Year: 2019 Pages: 44-60
JOURNAL ARTICLE
Routing Protocols for Constraint Devices Internet of Things Network
Syed Yasmeen ShahdadMudassir KhanHabeeba SultanaMohammad Ashfaq HussainSyeda Meraj Bilfaqih
Year: 2019 Pages: 0114-0117