Metrics for labelled Markov processes

详细信息    查看全文

• 作者：Desharnais ; José ; e ; Gupta ; Vineet ; Jagadeesan ; Radha ; Panangaden ; Prakash
• 关键词：Labelled Markov processes ; Metric ; Process Algebra
• 刊名：Theoretical Computer Science
• 出版年：2004
• 出版时间：June 8, 2004
• 年：2004
• 卷：318
• 期：3
• 页码：323-354
• 全文大小：405 K

文摘

The notion of process equivalence of probabilistic processes is sensitive to the exact probabilities of transitions. Thus, a slight change in the transition probabilities will result in two equivalent processes being deemed no longer equivalent. This instability is due to the quantitative nature of probabilistic processes. In a situation where the process behavior has a quantitative aspect there should be a more robust approach to process equivalence. This paper studies a metric between labelled Markov processes. This metric has the property that processes are at zero distance if and only if they are bisimilar. The metric is inspired by earlier work on logics for characterizing bisimulation and is related, in spirit, to the Hutchinson metric.