Projet :
|
|
|
|
Prof. Dr. Valk, professeur
Prof. Dr. Carl Adam Petri, ancien professeur de honneur
Dr. Mark-Oliver Stehr, ancien chercheur associé
Dr. Olaf Kummer, ancien chercheur associé
Stefan Haar
Uwe Fenske
Durée: de 04/1994
Mots clés:
Concurrency-Theorie, Axiome, Elementare Netz-Systeme, Zyklische Ordnungen, Markierte Graphen
But:
Publications:
- 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
