Verification of a multidestination selective repeat procedure
From MaRDI portal
Publication:3221402
DOI10.1016/0376-5075(84)90008-4zbMath0557.68032OpenAlexW2224861114MaRDI 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
livenesssafetytemporal logicparallel programdata transfer proceduremultidestination protocolsatellite broadcast channel
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25) Communication theory (94A05) Theory of software (68N99)
Related Items