Journal: Communications of the ACM

Volume 20, Issue 7

461 -- 468Sandra A. Mamrak. Dynamic Response Time Prediction for Computer Networks
469 -- 477Manfred Ruschitzka, Robert S. Fabry. A Unifying Approach to Scheduling
477 -- 485William D. Tajibnapis. A Correctness Proof of a Topology Information Maintenance Protocol for a Distributed Computer Network
486 -- 494Paul G. Heckel, Butler W. Lampson. A Terminal-Oriented Communication System
500 -- 503Joep L. W. Kessels. An Alternative to Event Queues for Synchronization in Monitors
504 -- 513Dorothy E. Denning, Peter J. Denning. Certification of Programs for Secure Information Flow
513 -- 518Jeffrey M. Barth. Shifting Garbage Collection Overhead to Compile Time
519 -- 526Edward A. Ashcroft, William W. Wadge. Lucid, a Nonprocedural Language with Iteration
527 -- 529Nevil Brownlee. An Algol-Based Implementation of SNOBOL4 Patterns