Projektverantwortung vor Ort: Prof. Dr. Bernhard M?ller
?
Beteiligte WissenschaftlerInnen der Universit?t Augsburg:?Dr. Peter H?fner
?
Beteiligte WissenschaftlerInnen / Kooperationen: Sir Tony Hoare (Microsoft Research)
?
?
Zusammenfassung
Str?me spiegeln Ablaufhistorien, z.B. in verteilten Systemen, wider. Sie bestehen aus diskreten oder kontinuierlichen Folgen von Werten. Eine Algebraisierung gelingt auf der Basis des allgemeineren Begriffs der Trajektorien.
Als Verallgemeinerung von Str?men k?nnen auch Spuren, d.h. nicht lineare Folgen sondern allgemeiner partiell geordnete Mengen von Ereignissen, betrachtet werden.
