[CR14]
Gabriel Ciobanu and Armand Stefan Rotaru.
PHASE: A Stochastic Formalism for Phase-Type Distributions.
In Proc. International Conference on Formal Engineering Methods (ICFEM'14), pages 91-106.
2014.
[Presents a stochastic process calculus for non-Markovian systems and a translation to PRISM.]
|
