Modelling of cooperative processes

  • Erwin Engeler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 270)


Expert System Logic Program Program Equation Cooperative Process Lambda Calculus 
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. (Apt 1982).
    K.R. Apt and M.H. van Emden, Contributions to the theory of logic programming, J. ACM 29 (1982), 841–862.Google Scholar
  2. (Barendregt 1981).
    H.P. Barendregt, The Lambda Calculus, Studies in Logic 103, North-Holland, 1981.Google Scholar
  3. (Engeler 1981).
    E. Engeler, Algebras and Combinators, Algebra Universalis 13 (1981), 389–392.Google Scholar
  4. (Engeler 1984).
    E. Engeler, Equations in Combinatory Algebras, Logics of Programs'83, Springer LNCS 164 (1984).Google Scholar
  5. (Engeler 1985).
    E. Engeler, A Combinatory Representation of Varieties and Universal Classes, Report 85-03, ETH Zürich, Mathematik.Google Scholar
  6. (Lorenz 1963).
    E.N. Lorenz, Deterministic Nonperiodic Flow, J. Atmos. Sci. 20 (1963).Google Scholar
  7. (Scott 1971).
    D.S. Scott and Ch. Strachey, Toward a Mathematical Semantics for Computer Languages. In: J. Fox (ed.), Computers and Automata, Polytechnic Press, Brooklyn 1971.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Erwin Engeler
    • 1
  1. 1.ETH ZürichSwitzerland

Personalised recommendations