This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
K.R. Apt and M.H. van Emden, Contributions to the theory of logic programming, J. ACM 29 (1982), 841–862.
H.P. Barendregt, The Lambda Calculus, Studies in Logic 103, North-Holland, 1981.
E. Engeler, Algebras and Combinators, Algebra Universalis 13 (1981), 389–392.
E. Engeler, Equations in Combinatory Algebras, Logics of Programs'83, Springer LNCS 164 (1984).
E. Engeler, A Combinatory Representation of Varieties and Universal Classes, Report 85-03, ETH Zürich, Mathematik.
E.N. Lorenz, Deterministic Nonperiodic Flow, J. Atmos. Sci. 20 (1963).
D.S. Scott and Ch. Strachey, Toward a Mathematical Semantics for Computer Languages. In: J. Fox (ed.), Computers and Automata, Polytechnic Press, Brooklyn 1971.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Engeler, E. (1987). Modelling of cooperative processes. In: Börger, E. (eds) Computation Theory and Logic. Lecture Notes in Computer Science, vol 270. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18170-9_162
Download citation
DOI: https://doi.org/10.1007/3-540-18170-9_162
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18170-5
Online ISBN: 978-3-540-47795-2
eBook Packages: Springer Book Archive