Valk, Rüdiger, Prof.Dr.; Stehr, Mark-Oliver; Fenske, Uwe; Haar, Stefan; Kummer, Olaf; Lütgens, Carsten; Müller, Hartmut; Pöhlsen, Helga

Das Ziel dieses Projekts ist die Untersuchtung und zusammenhängende Darstellung der axiomatischen Concurrency-Theorie. Axiomatische Concurrency-Theorie wurde ursprünglich von C.A. Petri als eine Basis für die Netztheorie vorgeschlagen, die allein auf den Begriffen der Kausalität und Nebenläufigkeit aufbaut.

Die Arbeit (1) behandelt die Concurrency- Theorie ohne Annahme einer unterliegenden, partiellen Ordnung, von der (üblicherweise) die Kausalrelation abgeleitet wird. (2) liefert eine zusammenhängende, formale Untersuchung der Concurrency-Theorie. Diese Arbeit behandelt insbesondere Schwierigkeiten durch unerwünschte Modelle und präsentiert mögliche Lösungen. (3) entwickelt eine mathematische Theorie zyklischer Ordnungen, die u.a. als Grundlage für eine Concurrency-Theorie zyklischer Prozesse geeignet ist.

Laufzeit seit 04/1994

Publikationen

Stehr, M.-O.: Concurrency Theory of Cyclic and Acyclic Processes. FBI-HH-B-190/96, Universität Hamburg, 1996
Kummer, O.: Axiomensysteme für die Theorie der Nebenläufigkeit.