Applications of the Theory of Distributed and Real Time Systems to the Development of Large-Scale Timing Based Systems.

Abstract

Members of MIT's Theory of Distributed Systems group have continued their work on modelling, designing, verifying and analyzing distributed and real-time systems. The focus is on the study of 'building-blocks' for the construction of reliable and efficient systems. Our works falls into three general categories: modelling and verification tools, algorithms and impossibility results, and applications. Here, we describe the progress briefly. Sources for more details are provided in the Technical Report.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1996
Accession Number
ADA307957

Entities

People

  • Nancy Lynch

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Automata
  • Classification
  • Computer Science
  • Contracts
  • Control Systems
  • Damage Detection
  • Electrical Engineering
  • Hybrid Systems
  • Language
  • Massachusetts
  • Mathematical Models
  • Models
  • Monitoring
  • Optical Scanning
  • Students

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Theoretical Analysis.