Fluid Rewards for a Stochastic Process Algebra

Mirco Tribastone, Jie Ding, Stephen Gilmore, Jane Hillston. Fluid Rewards for a Stochastic Process Algebra. IEEE Trans. Software Eng., 38(4):861-874, 2012. [doi]

Bibliographies