Xinxin Liu, Tingting Yu, Wenhui Zhang. Analyzing divergence in bisimulation semantics. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 735-747, ACM, 2017. [doi]
@inproceedings{LiuYZ17,
title = {Analyzing divergence in bisimulation semantics},
author = {Xinxin Liu and Tingting Yu and Wenhui Zhang},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3009870},
researchr = {https://researchr.org/publication/LiuYZ17},
cites = {0},
citedby = {0},
pages = {735-747},
booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
editor = {Giuseppe Castagna and Andrew D. Gordon},
publisher = {ACM},
isbn = {978-1-4503-4660-3},
}