Three Papers on Network Programs.
UNIVERSITY OF SOUTHERN CALIFORNIA LOS ANGELES DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
This report contains three papers on distributed computing entitled Basic concepts of network programs, Language notation for network programs, and Proof rules for network programs. Together these papers outline a systematic method for the programming of computer networks. Author
- Computer Programming and Software
- Computer Systems