Distributed System Modelling and Analysis.

Abstract

This project is intended to develop theoretical foundations for distributed computing. The primary goal of the work has been the design of distributed algorithms and the proof of upper and lower complexity bounds for interesting distributed problems. The kinds of problems studies include distributed consensus in the presence of faults, resource allocation, and election of a leader. A secondary goal has been the development of formal semantic models for concurrent and distributed algorithms, in a way which would clarify the commonality among various different kinds of concurrent algorithms (shared memory algorithms, message-passing algorithms, concurrency control algorithms, dataflow algorithms, etc.) A tertiary goal has involved the modelling, specification and verification of concurrency control and recovery algorithms for nested transaction systems. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 22, 1986
Accession Number
ADA176475

Entities

People

  • Nancy Lynch

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Agreements
  • Algorithms
  • Availability
  • Computations
  • Computer Networks
  • Computer Science
  • Computers
  • Control Systems
  • Data Management
  • Distributed Computing
  • Engineering
  • Networks
  • Reliability
  • Scientists
  • Semantic Models
  • Software Development
  • Specifications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Systems Analysis and Design