ACM DL

Computer Systems (TOCS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computer Systems (TOCS), Volume 7 Issue 3, Aug. 1989

Preserving and using context information in interprocess communication
Larry L. Peterson, Nick C. Buchholz, Richard D. Schlichting
Pages: 217-246
DOI: 10.1145/65000.65001
When processes in a network communicate, the messages they exchange define a partial ordering of externally visible events. While the significance of this partial order in distributed computing is well understood, it has not been made an...

Integrating security in a large distributed system
M. Satyanarayanan
Pages: 247-280
DOI: 10.1145/65000.65002
Andrew is a distributed computing environment that is a synthesis of the personal computing and timesharing paradigms. When mature, it is expected to encompass over 5,000 workstations spanning the Carnegie Mellon University campus. This paper...

Verified data transfer protocols with variable flow control
A. Udaya Shankar
Pages: 281-316
DOI: 10.1145/65000.65003
We present and verify a sliding window protocol which uses modulo-N sequence numbers to achieve reliable flow-controlled data transfer between a producer and a consumer connected by unreliable channels. The consumer's data needs...