A framework for performance evaluation and functional verification in stochastic process algebras.

Hossein Hojjat Mohammad Reza Mousavi Marjan Sirjani A framework for performance evaluation and functional verification in stochastic process algebras. 339-346 2008 SAC http://doi.acm.org/10.1145/1363686.1363775 conf/sac/2008 db/conf/sac/sac2008.html#HojjatMS08