loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Conference on Quality Software (QSIC 2007)
Towards Automatic Measurement of Probabilistic Processes
Portland, Oregon, USA
October 11-October 12
ISBN: 0-7695-3035-4
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.