Accession Number : ADP002607

Title :   Problem-Oriented Specification of Concurrent Algorithms,

Corporate Author : JET PROPULSION LAB PASADENA CA

Personal Author(s) : Cremers,A. B. ; Hibbard,T. N.

Report Date : 1983

Pagination or Media Count : 5

Abstract : The main purpose of the present paper is to suggest an executable algorithmic notation for VLSI solutions which, in many cases, may be more natural than traditional programming notation.

Descriptors :   *Algorithms, *Computer programming, *Specifications, Semantics, Syntax

Distribution Statement : APPROVED FOR PUBLIC RELEASE