[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

On a technology of design and analysis of dataflow programs

  • Theory
  • Conference paper
  • First Online:
Parallel Computing Technologies (PaCT 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1277))

Included in the following conference series:

  • 220 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Rabinovich A., Trakhtenbrot B.A.: Nets of processes and data flow. Lecture Notes in Computer Science. 354 (1988) 574–602

    Google Scholar 

  2. Broy M.: Semantics of Finite and Infinite Networks of Concurrent Commumicating Agents. Distributed Computing. 2 (1987) 13–31

    Google Scholar 

  3. Rabinovich A., Trakhtenbrot B.A.: On Nets, Algebras and Modularity. Lecture Notes in Computer Science, 526 (1991) 176–203

    Google Scholar 

  4. Dennis J.B.: Machines and Models for parallel Computing. International Jourmal of Parallel Programming, 22 N 1 (1994) 47–77.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Yaroslavl State University, Sovetskaya street 14, 150000, Yaroslavl, Russia

    V. A. Sokolov, E. E. Roubtsova & S. A. Roubtsov

Authors
  1. V. A. Sokolov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. E. Roubtsova
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. S. A. Roubtsov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Victor Malyshkin

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sokolov, V.A., Roubtsova, E.E., Roubtsov, S.A. (1997). On a technology of design and analysis of dataflow programs. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 1997. Lecture Notes in Computer Science, vol 1277. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63371-5_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-63371-5_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63371-6

  • Online ISBN: 978-3-540-69525-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation