Projektverantwortung vor Ort: Prof. Dr. Bernhard M?ller
?
Beteiligte WissenschaftlerInnen der Universit?t Augsburg:?Roland Glück, Dr. Peter H?fner , Han-Hing Dang
?
Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Jules Desharnais (Université Laval), Dr. Georg, Struth (威尼斯赌博游戏_威尼斯赌博app-【官网】 of Sheffield) und andere
?
?
Zusammenfassung
Halbringe treten in vielen Bereichen der Informatik auf. Sie charakterisieren die fundamentalen Operationen + (Auswahl) und ? (sequentielle Komposition). H?ufig lassen sich die Halbringelemente als Mengen von Abl?ufen interpretieren. Tests sind spezielle Halbringelemente, die Mengen von Abl?ufen der L?nge 1, d.h. Mengen von Zust?nden, repr?sentieren. Sie spielen die Rolle von Zusicherungen in der Programmverifikation. Die Vor- und Nachbereichsoperatoren liefern Tests, die die Anfangs- und Endzust?nde einer Menge von Abl?ufen charakterisieren. Mit ihrer Hilfe lassen sich Diamant- und Box-Operatoren definieren, die die Verbindung zur modalen Logik und dem μ-Kalkül herstellen.
