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]

Authors

Mirco Tribastone

This author has not been identified. Look up 'Mirco Tribastone' in Google

Jie Ding

This author has not been identified. Look up 'Jie Ding' in Google

Stephen Gilmore

This author has not been identified. Look up 'Stephen Gilmore' in Google

Jane Hillston

This author has not been identified. Look up 'Jane Hillston' in Google