loading...
Towards Automatic Measurement of Probabilistic Processes
Portland, Oregon, USA October 11-October 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.65Seventh International Conference on Q ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
Citation:
Lin Song, Yuxin Deng, Xiaojuan Cai, "Towards Automatic Measurement of Probabilistic Processes," qsic, pp.50-59, Seventh International Conference on Quality Software (QSIC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions