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
  
• Michael Burrows, Martín Abadi, Roger M. Needham:
  A Logic of Authentication. 18-36
  
• Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy:
  Lightweight Remote Procedure Call. 37-55
  
• David P. Anderson, Ron Kuivila:
  A System for Computer Music Performance. 56-82
  

Volume 8, Number 2, May 1990

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

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
  
• Richard P. King:
  Disk Arm Movement in Anticipation of Future Requests. 214-229
  
• Chad L. Mitchell, Michael J. Flynn:
  The Effects of Processor Architecture on Instruction Memory Traffic. 230-250
  

Volume 8, Number 4, November 1990

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