Towards Automatic Measurement of Probabilistic Processes

In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in the process algebra is shown to satisfy non-expansiveness property with respect to this metric. We also provide an algorithm to calculate the distance between two processes to a prescribed discount factor in polynomial time. The algorithm has been implemented in a tool that helps us to measure processes automatically.

• Type: Conference
• Year: 2007
• Where: QSIC
• Authors: Lin Song, Yuxin Deng, Xiaojuan Cai
• Keywords: Metric Corresponds, Prescribed Discount Factor, QSIC 2007, Software Engineering, finite Processes