Auch die meisten Original-Axiomensysteme von C.A.Petri werden in dieser Arbeit vorgestellt.
In der Arbeit Physically Motivated Axiomatic Concurrency Theory - A Posetless Approach ( bzw. in der überarbeiteten Fassung Concurrency Theory of Cyclic and Acyclic Processes ) behandelt Mark-Oliver Stehr die Concurrency- Theorie ohne Annahme einer unterliegenden, partiellen Ordnung von der ( üblicherweise ) die Kausalrelation abgeleitet wird.
Zusätzlich zu ( unendlichen ) azyklischen Modellen führt dies zur Betrachtung von zyklischen aber endlichen Modellen, die zahlreiche Schwierigkeiten bereiten.
www.informatik.uni-hamburg.deAlso most of the original axiomatic systems and ideas of C.A.Petri are presented in this work.
In Physically Motivated Axiomatic Concurrency Theory - A Posetless Approach ( and in the revised version Concurrency Theory of Cyclic and Acyclic Processes ) Mark-Oliver Stehr treats concurrency theory without the assumption of an underlying partial order from which the causality relation is derived.
In addition to ( infinite ) acyclic models this leads to consideration of cyclic but finite models leading to several difficulties.
www.informatik.uni-hamburg.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.Hier kannst du uns Verbesserungen dieses PONS-Eintrags vorschlagen:
Wie kann ich Übersetzungen in den Vokabeltrainer übernehmen?
Bitte beachte, dass die Vokabeln in der Vokabelliste nur in diesem Browser zur Verfügung stehen. Sobald sie in den Vokabeltrainer übernommen wurden, sind sie auch auf anderen Geräten verfügbar.