Three Papers on Network Programs.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1981
Accession Number
ADA106799

Entities

People

  • Per Brinch Hansen

Organizations

  • University of Southern California

Tags

DTIC Thesaurus Topics

  • California
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Copyrights
  • Distributed Computing
  • Language
  • Mathematics
  • Military Research
  • New York
  • Notation
  • Programming Languages
  • Sequences
  • Universities

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Neural Network Machine Learning.