Verification of a multidestination selective repeat procedure

DOI10.1016/0376-5075(84)90008-4zbMath0557.68032MaRDI QIDQ3221402

No author found.

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

liveness; safety; temporal logic; parallel program; data transfer procedure; multidestination protocol; satellite broadcast channel

Mathematics Subject Classification ID

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

68Q65: Abstract data types; algebraic specification

68N25: Theory of operating systems

94A05: Communication theory

68N99: Theory of software

Related Items

Probabilistic verification of communication protocols