Reduction, data flow and control flow models of computation

  • Werner Kluge
Section 8 Relationship To Other Models Of Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 255)


This paper introduces a systematic approach to the modeling of computational processes in terms of
  • the control discipline which drives a computation step by step ahead;

  • the operational discipline which, in an orderly manner, supplies operators with operands.

Starting with a simple PrT net primitive representing the application of a function to one or more arguments, we systematically derive reduction, data flow and control flow as basic models of computations and elaborate on their conceptual differences. Particular emphasis is placed on the implications as regards non-sequential processing.


Transition Scheme Logical Formula Control Token Decimal Number Primitive Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ARPL78]
    Arvind, W. Plouffe: ‘The ID-Report: An Asyncronous Programming Language and Computing Machine'; Univ. Cal. Irvine Tech. Rep. 114, 1978Google Scholar
  2. [BA78]
    J. Backus: ‘Can Programming be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs'; Comm. Ass. Comp. Mach. Vol. 21, pp. 613–641, Aug. 1978Google Scholar
  3. [BE75]
    K. J. Berkling: ‘Reduction Languages for Reduction Machines'; Proc. 2nd Ann. Symp. Comp. Arch. Jan. 20–22, 1975 ACM-IEEE 75CH0916-7C, pp. 133–140Google Scholar
  4. [CH41]
    A. Church: ‘The Calculi of Lambda-conversion'; Annals Math. Studies; Princeton, N.I.; Princeton Univ. Press, 1941Google Scholar
  5. [DEMI75]
    J. B. Dennis, D. P. Misunas: ‘A Preliminary Architecture for Basic Data Flow Processors'; Proc. 2nd Ann. Symp. Comp. Arch. Jan. 20–22, ACM/IEEE 75CH0916-7C, pp. 126–132Google Scholar
  6. [GELA81]
    H. J. Genrich, K. Lautenbach: ‘System Modelling with High-Level Petri-Nets'; Theor. Comp. Sci. Vol. 13, pp. 109–136, 1981Google Scholar
  7. [GELATH80]
    H. J. Genrich, K. Lautenbach, P. S. Thiagarajan: ‘Elements of General Net Theory: Predicate-Transition Nets'; Net Theory and Applications, Lecture Notes in Computer Science, No. 84, Berlin, W. Germany; Springer-Verlag, pp. 76–92, 1980Google Scholar
  8. [GESW80]
    H. J. Genrich, E. Stankiewicz-Wiechno: ‘A Dictionary of some Basic Notions of Net Theory'; Net Theory and Applications, Lecture Notes in Computer Science, No. 84, Berlin, W. Germany; Springer-Verlag, pp. 519–539, 1980Google Scholar
  9. [KLSCH83]
    W. E. Kluge, H. Schlütter: ‘Petri-Net Models for the Evaluation of Applicative Programs Based on λ-Expressions'; IEEE-TSE, Vol. SE-9, No. 4, pp. 415–427, 1983Google Scholar
  10. [KL85]
    W. E. Kluge: ‘An Approach to Computer System Modeling Based on Petri-Nets'; in: ‘Methodologics for Computer System Design', W.K. Giloi and B.D. Shriver (Ed.), North-Holland 1985, pp. 143–159Google Scholar
  11. [ME86]
    E. Meijer: ‘Petri-Net Models for the λ-Calculus'; Proc. of the Seventh European Workshop on Application and Theory of Petri Nets, Oxford, England, June 30th–July 2nd, 1986, pp. 285–310Google Scholar
  12. [PE73]
    C. A. Petri: ‘Concepts of Net Theory'; Math. Found. of Comp. Sci., Math. Inst. of Slovak Academy of Science, 1973Google Scholar
  13. [TRBRHO82]
    P. C. Treleaven, D. R. Brownbridge, R. P. Hopkins: ‘Data Driven and Demand Driven Computer Architecture'; ACM Comp. Surveys, Vol. 14, No. 1, pp. 93–143, 1982Google Scholar
  14. [TU79]
    D. A. Turner: ‘A New Implementation Technique for Applicative Languages'; Software-Practice and Experience, Vol. 9, pp. 31–49, 1979Google Scholar
  15. [WE68]
    P. Wegner: ‘Programming Languages, Information Structures and Machine Organization'; New York: McCraw Hill, 1968Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Werner Kluge
    • 1
  1. 1.Department of Computer ScienceUniversity of KielKiel 1West Germany

Personalised recommendations