ACM Transactions on Computer Systems (TOCS), Volume 8

Volume 8, Number 1, February 1990

• Michael D. Schroeder, Michael Burrows:
  Performance of Firefly RPC. 1-17
  Electronic Edition (ACM DL) BibTeX
• Michael Burrows, Martín Abadi, Roger M. Needham:
  A Logic of Authentication. 18-36
  Electronic Edition (ACM DL) BibTeX
• Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy:
  Lightweight Remote Procedure Call. 37-55
  Electronic Edition (ACM DL) BibTeX
• David P. Anderson, Ron Kuivila:
  A System for Computer Music Performance. 56-82
  Electronic Edition (ACM DL) BibTeX

Volume 8, Number 2, May 1990

• Stephen E. Deering, David R. Cheriton:
  Multicast Routing in Datagram Internetworks and Extended LANs. 85-110
  Electronic Edition (ACM DL) BibTeX
• Karsten Schwan, Win Bo:
  "Topologies" - Distributed Objects on Multicomputers. 111-157
  Electronic Edition (ACM DL) BibTeX
• K. K. Ramakrishnan, Raj Jain:
  A Binary Feedback Scheme for Congestion Avoidance in Computer Networks. 158-181
  Electronic Edition (ACM DL) BibTeX

Volume 8, Number 3, August 1990

• Glenn S. Benson, Ian F. Akyildiz, William F. Appelbe:
  A Formal Protection Model of Security in Centralized, Parallel, and Distributed Systems. 183-213
  Electronic Edition (ACM DL) BibTeX
• Richard P. King:
  Disk Arm Movement in Anticipation of Future Requests. 214-229
  Electronic Edition (ACM DL) BibTeX
• Chad L. Mitchell, Michael J. Flynn:
  The Effects of Processor Architecture on Instruction Memory Traffic. 230-250
  Electronic Edition (ACM DL) BibTeX

Volume 8, Number 4, November 1990

• Reinhard Gotzhein, Gregor von Bochmann:
  Deriving Protocol Specifications from Service Specifications Including Parameters. 255-283
  Electronic Edition (ACM DL) BibTeX
• Keith Marzullo:
  Tolerating Failures of Continuous-Valued Sensors. 284-304
  Electronic Edition (ACM DL) BibTeX
• Leslie Lamport:
  Concurrent Reading and Writing of Clocks. 305-310
  Electronic Edition (ACM DL) BibTeX
• Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz:
  High-Level Language Debugging for Concurrent Programs. 311-336
  Electronic Edition (ACM DL) BibTeX