Not registered as user yet

Name:Xinxin Liu
Affiliation:Institute of software, Chinese academy of sciences

Contributions

POPL 2017 Author of Analyzing divergence in bisimulation semantics within the POPL-track