Verification of a multidestination selective repeat procedure

DOI10.1016/0376-5075(84)90008-4MaRDI QIDQ3221402zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

data transfer procedurelivenessmultidestination protocolparallel programsafetysatellite broadcast channeltemporal logic

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

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)