Fundamente Teoretici de Informatică
Proiect:
Dr. Carl Adam Petri,
Dr. Mark-Oliver Stehr,
Dr. Olaf Kummer,
Stefan Haar
Uwe Fenske
Durată: Lansat în 04/1994
Cuvinte cheie:
Concurrency-Theorie, Axiome, Elementare Netz-Systeme, Zyklische Ordnungen, Markierte Graphen
Obiective:
Publicaţii:
- Hartmut Müller: Geschichte und Entwicklung der Concurrency Theorie. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 1993.
- Mark-Oliver Stehr: Physically Motivated Axiomatic Concurrency Theory - A Posetless Approach , Studienarbeit, Fachbereich Informatik, Universität Hamburg, December 1993.
-
Axiomensysteme für die Theorie der Nebenläufigkeit.
- Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 1996.
- Logos Verlag, Berlin, 1996. ISBN 3-931216-28-4.
- Mark-Oliver Stehr: Zyklische Ordnungen - Axiome und einfache Eigenschaften , Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1996.
- Mark-Oliver Stehr: Concurrency Theory of Cyclic and Acyclic Processes , Fachbereichsbericht FBI-HH-B-190/96, Universität Hamburg, Fachbereich Informatik, September 1996.
- Olaf Kummer, Mark-Oliver Stehr: Petri's Axioms of Concurrency - A Selection of Recent Results , Proceedings of the 18th International Conference on Application and Theory of Petri Nets, Toulouse, June 23-27, 1997, Lecture Notes in Computer Science 1248, © Springer-Verlag , 1997