Abstract
The literature of theoretical computer science abounds with proposals for mathematical frameworks for parallel and distributed computing; they span the spectrum from automata (Petri Nets) to logic (Linear Logic), from process algebras to programming languages. Some of them are beautiful, some of them successful in their chosen goals. But we have always maintained that a theory of parallel processes cannot be considered completely satisfactory if it does not also cover the processes that are traditionally expressed by systems of differential equations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Burkhard, E., “Wissensbasierte Modellierung einer Heizungs-Lüftungs-Klima-Anlage, ” Diplomarbeit am Lehrstuhl füir Logik und Informatik, ETH Zürich, (1992).
Engeler, E., “Cumulative Logic Programs and Modelling”. In: Logic Colloquium ’86, ( Drake and Truss, eds. ), North-Holland, (1988), pp. 83–93.
Fehlmann, T., “Theorie und Anwendung des Graphmodells der Kombinatorischen Logik, ” Report Nr. 41 of the Dept. Inf. ETH Zürich, (1981).
Gott93] Gottlob, G., personal communication.
Schwärzler, G., “Knowledge-Based Modeling of Cooperative Processes, ” Diss.ETHNo.9926, Verlag der Fachvereine, Zürich, (1993).
Rights and permissions
Copyright information
© 1995 Birkhäuser Boston
About this chapter
Cite this chapter
Engeler, E., Schwärzler, G. (1995). An Algebraization of Hierarchical and Recursive Distributed Processes. In: The Combinatory Programme. Progress in Theoretical Computer Science. Birkhäuser Boston. https://doi.org/10.1007/978-1-4612-4268-0_5
Download citation
DOI: https://doi.org/10.1007/978-1-4612-4268-0_5
Publisher Name: Birkhäuser Boston
Print ISBN: 978-1-4612-8716-2
Online ISBN: 978-1-4612-4268-0
eBook Packages: Springer Book Archive