Verification of a multidestination selective repeat procedure

DOI10.1016/0376-5075(84)90008-4zbMATH Open0557.68032OpenAlexW2224861114MaRDI QIDQ3221402FDOQ3221402

Authors:

Publication date: 1984

Published in: Computer Networks (1976) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0376-5075(84)90008-4

Recommendations

• An algorithmic technique for protocol verification
• Efficient verification of a multicast protocol for mobile computing
• A Simple Protocol Whose Proof Isn't
• scientific article; zbMATH DE number 3926217
• Verifying programs with unreliable channels

zbMATH Keywords

temporal logicsafetylivenessparallel programdata transfer proceduremultidestination protocolsatellite broadcast channel

Mathematics Subject Classification ID

Communication theory (94A05) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of software (68N99) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Cited In (2)

• Probabilistic verification of communication protocols
• Efficient verification of a multicast protocol for mobile computing

This page was built for publication: Verification of a multidestination selective repeat procedure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3221402)