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

Abstract

This R&D status report covers (1) modeling and verification tools, (2) algorithms and impossibility results, and (3) applications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 15, 1997
Accession Number
ADA331503

Entities

People

  • Nancy Lynch

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Automata
  • Case Studies
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Electrical Engineering
  • Engineering
  • Fault Tolerance
  • Formal Languages
  • Language
  • Parallel Computing
  • Simulations
  • Theoretical Computer Science
  • Vehicles

Fields of Study

  • Computer science
  • Engineering