随机关系的代数性质-猫眼课题宝

随机关系的代数性质

批准号：

5410563

负责人：

Professor Dr. Ernst-Erich Doberkat

金额：

$0.0万

依托单位：

Fakultät für Informatik

依托单位国家：

德国

项目类别：

Research Grants

财政年份：

2003

资助国家：

德国

项目状态：

已结题

起止时间：

2002-12-31 至 2007-12-31

来源：

https://gepris.dfg.de/gepris/projekt/5410563?language=en

关键词：

Algebrail properties stochastic relations

项目摘要

项目成果

Professor Dr. Ernst-Erich Doberkat的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

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.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文