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):

• Brinch Hansen,Per

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

Descriptors:

• *DISTRIBUTED DATA PROCESSING
• *COMPUTER COMMUNICATIONS
• *COMPUTER PROGRAMMING
• *COMMUNICATIONS NETWORKS
• REQUIREMENTS
• SPECIFICATIONS
• PROGRAMMING LANGUAGES
• NODES
• SCHEDULING
• ROUTING
• COMPUTER PROGRAM VERIFICATION
• DATA LINKS
• NETWORK FLOWS
• THEOREMS

Subject Categories:

• Computer Programming and Software
• Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE