@book {IOPORT.00193789,
    author       = {Val'kovskij, V.A. and Malyshkin, V.Eh.},
    title        = {The synthesis of parallel programs and systems on computing models. (Sintez parallel'nykh programm i sistem na vychislitel'nykh modelyakh.)},
    year         = {1988},
    isbn         = {5-02-028599-4},
    pages        = {128 p.},
    publisher    = {Novosibirsk (USSR): Nauka},
    abstract     = {The problem of parallel programs/systems synthesis is examined along the following guidelines: a computing model and two sets of (input and output) variables are defined. The goal is to find a program which for any values of input variables computes the desired values of output variables. Given a family S of input specifications, a family P of resulting programs, an equivalence relation $\sim$ on P and a partial order relation $>$ on P (called the quality of a program), the task is to find an algorithm A: $S\to P$ such that the output of a synthesis - a program A(s) - satisfies a specification s and is the maximal one (according to $>)$ in the family of programs $\{$ $p\vert p\sim A(s)\}.$ A computing model, called Simple Computing Model (SCM) is defined in the first chapter. Given a SMC and sets of input and output variables the computation (called plan) is represented by a set of terms. Several results on finite/optimal plans are presented. Algorithms for the synthesis of parallel programs on SCM are discussed in chapter two. The notion of structured operations is defined and some transformations of this operation (refinement, substitution, decomposition,...) are examined. A generalized model, Computing Model with Arrays (CMA), is defined in chapter three and ways how to find out plan(s) of computation are examined. The language OPAL of input specifications is introduced. Some remarks on CM with queues close this topic. The last chapter presents some modifications and illustrate them on a systolic system design and a discrete system simulation. Some discussions on parallel programming languages close the book.},
    reviewer     = {M.Kretinsky},
    identifier   = {00193789},
}