Li-Li Xu, Hui-Min Lin. Complete Proof Systems for Amortised Probabilistic Bisimulations. J. Comput. Sci. Technol., 31(2):300-316, 2016. [doi]
@article{XuL16-4,
title = {Complete Proof Systems for Amortised Probabilistic Bisimulations},
author = {Li-Li Xu and Hui-Min Lin},
year = {2016},
doi = {10.1007/s11390-016-1628-4},
url = {http://dx.doi.org/10.1007/s11390-016-1628-4},
researchr = {https://researchr.org/publication/XuL16-4},
cites = {0},
citedby = {0},
journal = {J. Comput. Sci. Technol.},
volume = {31},
number = {2},
pages = {300-316},
}