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

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Browse the full SAC paper archive.