Quality Software, International Conference on (2007)
Portland, Oregon, USA
Oct. 11, 2007 to Oct. 12, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.65
Lin Song , Shanghai Jiao Tong University, China
Yuxin Deng , Shanghai Jiao Tong University, China
Xiaojuan Cai , Shanghai Jiao Tong University, China
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric cor- responds 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 al- gorithm to calculate the distance between two processes to a prescribed discount factor in polynomial time. The al- gorithm has been implemented in a tool that helps us to measure processes automatically.
L. Song, X. Cai and Y. Deng, "Towards Automatic Measurement of Probabilistic Processes," 2007 7th International Conference on Quality Software(QSIC), Portland, OR, 2007, pp. 50-59.