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]
@article{TribastoneDGH12, title = {Fluid Rewards for a Stochastic Process Algebra}, author = {Mirco Tribastone and Jie Ding and Stephen Gilmore and Jane Hillston}, year = {2012}, doi = {10.1109/TSE.2011.81}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2011.81}, researchr = {https://researchr.org/publication/TribastoneDGH12}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {38}, number = {4}, pages = {861-874}, }