Yuxin Deng, Matthew Hennessy. On the semantics of Markov automata. Inf. Comput., 222:139-168, 2013. [doi]
@article{DengH13-0, title = {On the semantics of Markov automata}, author = {Yuxin Deng and Matthew Hennessy}, year = {2013}, doi = {10.1016/j.ic.2012.10.010}, url = {http://dx.doi.org/10.1016/j.ic.2012.10.010}, researchr = {https://researchr.org/publication/DengH13-0}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {222}, pages = {139-168}, }