Advertisement

On a technology of design and analysis of dataflow programs

  • V. A. Sokolov
  • E. E. Roubtsova
  • S. A. Roubtsov
Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1277)

Abstract

A technology of designing dataflow programs is proposed. It is based on the principle of structuring programs and allows to fulfil the check-up of their correctness.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Rabinovich A., Trakhtenbrot B.A.: Nets of processes and data flow. Lecture Notes in Computer Science. 354 (1988) 574–602Google Scholar
  2. 2.
    Broy M.: Semantics of Finite and Infinite Networks of Concurrent Commumicating Agents. Distributed Computing. 2 (1987) 13–31Google Scholar
  3. 3.
    Rabinovich A., Trakhtenbrot B.A.: On Nets, Algebras and Modularity. Lecture Notes in Computer Science, 526 (1991) 176–203Google Scholar
  4. 4.
    Dennis J.B.: Machines and Models for parallel Computing. International Jourmal of Parallel Programming, 22 N 1 (1994) 47–77.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • V. A. Sokolov
    • 1
  • E. E. Roubtsova
    • 1
  • S. A. Roubtsov
    • 1
  1. 1.Computer Science DepartmentYaroslavl State UniversityYaroslavlRussia

Personalised recommendations