Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25726
Titel: Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Sonstige Titel: Functional Computation in a Uniformly Concurrent Calculus
Verfasser: Niehren, Joachim
Sprache: Deutsch
Erscheinungsjahr: 1994
SWD-Schlagwörter: Delta-Kalkül
DDC-Sachgruppe: 004 Informatik
Dokumentart : Dissertation
Kurzfassung: Liegt nicht vor.
The thesis is written in German, but will be translated soon. English title: Functional Computation in a Uniformly Concurrent Calculus with Logic Variables. We present the delta-calculus, a model of uniformly concurrent computation. It integrates eager and lazy functional computation and describes the intended complexity behavior in both cases. We call concurrent computation uniformly concurrent, if result, termination and complexity are independent from the computation order. We establish theses properties for the delta-calculus by proving its uniform confluence. The delta-calculus extends to models of concurrent computation providing for consumable resources and indeterminism. Such are the gamma-calculus, a foundation of concurrent computation with constraints, and the pi-calculus, a successor of CCS based on channel communication. The delta-calculus is a relational calculus with procedural abstraction and application. It provides for communication over logic variables and for suspension on their instantiation. Both mechanisms come naturally with parallel composition and declaration. We embed the eager and the lazy lamda-calculus into the delta-calculus. Using explicit references we guarantee that functional arguments are evaluated at most once. Explicit references are a special form of logic variables. These are needed too for representing lazy functional control. We prove the adequacy of the embedding of the eager lamda-calculus with respect to termination and complexity. We conjecture that the embedding of the lazy lamda preserves termination and improves complexity.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-2152
hdl:20.500.11880/25782
http://dx.doi.org/10.22028/D291-25726
Erstgutachter: Gert Smolka
Tag der mündlichen Prüfung: 1-Dez-1994
SciDok-Publikation: 5-Mai-2004
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
JoachimNiehren_ProfDrGertSmolka.pdf1,5 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.