Not registered as user yet

Name: Xinxin Liu

Affiliation: Institute of software, Chinese academy of sciences

POPL 2017 Activities

• Author of Analyzing divergence in bisimulation semantics within the POPL-track in POPL 2017
• Show activities from other conferences