Verification of a multidestination selective repeat procedure
From MaRDI portal
Publication:3221402
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
liveness; safety; temporal logic; parallel program; data transfer procedure; multidestination protocol; satellite broadcast channel
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