Verified Data Transfer Protocols with Variable Flow Control.

A. Udaya Shankar

Published in: ACM Trans. Comput. Syst. (1989)

Keyphrases

data transfer
flow control
data access
data transmission
data flow
low bandwidth
file system
parallel computers
state dependent