期刊
THEORETICAL COMPUTER SCIENCE
卷 331, 期 1, 页码 115-142出版社
ELSEVIER SCIENCE BV
DOI: 10.1016/j.tcs.2004.09.035
关键词
probabilistic transition system; pseudometric; probabilistic bisimilarity; terminal coalgebra; real-valued modal logic
Discrete notions of behavioural equivalence sit uneasily with semantic models featuring quantitative data, like probabilistic transition systems. In this paper, we present a pseudometric on a class of probabilistic transition systems yielding a quantitative notion of behavioural equivalence. The pseudometric is defined via the terminal coalgebra. of a functor based on a metric on the space of Borel probability measures on a metric space. States of a probabilistic transition system have distance 0 if and only if they are probabilistic bisimilar. We also characterize our distance function in terms of a real-valued modal logic. (C) 2004 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据