@inproceedings{d8809ac8506843fba3e560aeeefc8546,
title = "Towards automatic measurement of probabilistic processes",
abstract = "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.",
author = "Lin Song and Yuxin Deng and Xiaojuan Cai",
year = "2007",
doi = "10.1109/QSIC.2007.4385480",
language = "英语",
isbn = "0769530354",
series = "Proceedings - International Conference on Quality Software",
pages = "50--59",
booktitle = "Proceedings - 7th International Conference on Quality Software, QSIC 2007",
note = "7th International Conference on Quality Software, QSIC 2007 ; Conference date: 11-10-2007 Through 12-10-2007",
}