Algebraische Eigenschaften stochastischer Relationen

• Antragsteller: Professor Dr. Ernst-Erich Doberkat
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2003 bis 2008
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen