Nets of processes and data flow

  • A. Rabinovich
  • B. A. Trakhtenbrot
Technical Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 354)


Nets of Processes provide a unifying approach to semantics of concurrently executing agents. In this framework modularity and Kahn's principle are investigated for Data Flow Networks.


Data Flow Computation Synchronization Processes Denotational Semantics Nondeterminism Compositionality 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [BA]
    Brock, J.D and Ackerman, W.B, Scenarios: A Model of Non-Deterministic Computations, In Formalization of Programming Concepts, LNCS 107, 1981, 252–259.Google Scholar
  2. [Fa]
    Faustini, A.A., An Operational Semantics for Pure Dataflow., LNCS 140, 1982, 212–224.Google Scholar
  3. [GP]
    Gaifman, H., Pratt, V.R., Partial Order Models of Concurrency and the Computation of Functions, LICS 1987.Google Scholar
  4. [K74]
    Kahn, G., The Semantics for a Simple Language for Parallel Programming, IFIP 74.Google Scholar
  5. [KP]
    Kahn, G., Plotkin, G., Structure de donnes concretes. IRIA-LABORIA Report 336 1978Google Scholar
  6. [LS]
    Lynch, N., Stark, E., A Proof of the Kahn Principle for Input/Output Automata Report Mit/LCS/TM-349 1988Google Scholar
  7. [Mil]
    Milner, R., Calculi for Synchrony and Asynchrony, Theoretical Computer Science 25, 1983.Google Scholar
  8. [Pr]
    Pratt, V., Modeling Concurrency with Partial Order, International Journal of Parallel Programming, Vol. 15, 1986Google Scholar
  9. [Rab]
    Rabinovich, A., Pomset Semantics is Consistent with Data Flow Semantics, Bulletin of EATCS vol. 32, 1987.Google Scholar
  10. [RT]
    Rabinovich, A., Trakhtenbrot, B. A., Behaviour Structures and Nets, to appear in Fundamenta Informatica 1988Google Scholar
  11. [Tra]
    Trakhtenbrot, B. A., Recursive Program Schemes and Computable Functionals, LNCS, vol. 45, 1976.Google Scholar
  12. [TRH]
    Trakhtenbrot, B. A., Rabinovich, A., Hirshfeld, J., Nets of Processes, Technical Report 97/88 Institute of Computer Science, Tel Aviv University.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • A. Rabinovich
    • 1
  • B. A. Trakhtenbrot
    • 1
  1. 1.School of Mathematical Sciences Raymond and Beverly Sackler Faculty of Exact SciencesTel-Aviv UniversityTel-AvivIsrael

Personalised recommendations