External Links

Journal: Communications of the ACM

Volume 22, Issue 8

449 -- 454J. W. Wong, G. Scott Graham. Self-Assessment Procedure VI: A Self-Assessment Procedure Dealing with Queueing Network Models of Computer Systems
455 -- 460Robert W. Floyd. The Paradigms of Programming
461 -- 464Daniel S. Hirschberg, Ashok K. Chandra, Dilip V. Sarwate. Computing Connected Components on Parallel Computers
465 -- 476Nachum Dershowitz, Zohar Manna. Proving Termination with Multiset Orderings
476 -- 482Dorothy E. Denning. Secure Personal Computing in an Insecure Network
runs on