Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin. Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. Journal of Logic and Algebraic Programming, 81(1):2-25, 2012. [doi]
@article{ZhuYHBSQ12, title = {Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language}, author = {Huibiao Zhu and Fan Yang and Jifeng He and Jonathan P. Bowen and Jeff W. Sanders and Shengchao Qin}, year = {2012}, doi = {10.1016/j.jlap.2011.06.003}, url = {http://dx.doi.org/10.1016/j.jlap.2011.06.003}, researchr = {https://researchr.org/publication/ZhuYHBSQ12}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {81}, number = {1}, pages = {2-25}, }