Accession Number:

ADA106799

Title:

Three Papers on Network Programs.

Descriptive Note:

Technical rept.,

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA LOS ANGELES DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1981-09-01

Pagination or Media Count:

86.0

Abstract:

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

Subject Categories:

  • Computer Programming and Software
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE