Algebrail properties of stochastic relations

• Applicant: Professor Dr. Ernst-Erich Doberkat
• Subject Area: Theoretical Computer Science
• Term: from 2003 to 2008
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5410563

Relationale Spezifikationen sind ein wichtige Hilfsmittel zur Beschreibung von Systemen. In diesem Vorhaben werden die Grundlagen zur Spezifikation mit stochastischen Relationen untersucht, wobei die wohlbekannten Eigenschaften nicht-deterministischer Relationen als Leitlinie dienen. Hierzu soll die Kategorie der stochastischen Relationen näher untersucht werden, um die algebraischen Eigenschaften dieser Relationen besser zu verstehen. Anwendungen werden im Bereich der Systemspezifikation und einfacher modaler Logiken des Hennessy-MilnerTyps formuliert.

• DFG Programme: Research Grants