Modelling Distributed Systems.

Abstract

Distributed systems are multi-processor information processing systems which do not rely on the central shared memory for communication. This paper presents ideas and techniques in modelling distributed systems and its application to Artificial Intelligence. In section 2 and 3, we discuss a model of distributed systems and its specification and verification techniques. We introduce a simple example of air line reservation systems in Section 4 and illustrate our specification and verification techniques for this example in the subsequent sections. Then we discuss our further work. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1977
Accession Number
ADA062531

Entities

People

  • Akinori Yonezawa
  • Carl Hewitt

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computations
  • Computer Programming
  • Computer Science
  • Computer Vision
  • Computers
  • Electrical Engineering
  • Engineering
  • Information Processing
  • Information Systems
  • Integrated Circuits
  • Language
  • New York
  • Programming Languages
  • Psychology
  • Scheduling (Production)
  • Software Development

Fields of Study

  • Computer science
  • Engineering
  • Mathematics

Readers

  • Computational Linguistics
  • Computational Modeling and Simulation
  • Parallel and Distributed Computing.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy