Concurrent Algorithms as Space-Time Recursion Equations

Abstract

In this paper, we describe a methodology and a single notation for the specification and verification of synchronous and self-timed concurrent systems ranging from the level of transistors to communicating processes. The uniform treatment of these systems results in a powerful abstraction mechanism which allows management of system complexity.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1983
Accession Number
ADP002605

Entities

People

  • C. A. Mead
  • M. C. Chen

Organizations

  • California Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • California
  • Computations
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Coordinate Systems
  • Equations
  • Integrated Circuits
  • Language
  • Programming Languages
  • Signal Processing
  • Time Domain
  • Very Large Scale Integration

Fields of Study

  • Computer science
  • Engineering

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Integrated Circuit Design and Technology.
  • Software Engineering.

Technology Areas

  • Space