Algebraic properties of stochastic effectivity functions

被引：5
|
作者：
Doberkat, Ernst-Erich [1 ]
机构：
[1] Tech Univ Dortmund, Dortmund, Germany
来源：
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2014年 / 83卷 / 3-4期
关键词：
LABELED MARKOV-PROCESSES; MEASURABLE SPACES; BISIMULATIONS; LOGIC;
D O I：
10.1016/j.jlamp.2014.03.002
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the relationship to stochastic relations, morphisms and congruences are defined, and the relationship of abstract logical equivalence and behavioral equivalence is investigated. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码：339 / 358
页数：20
相关论文
共 50 条
12345