Gaoang Liu

According to our database, Gaoang Liu authored at least 3 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

The Complexity of Weak Consistency.

Gaoang Liu, Xiuying Liu

Proceedings of the Frontiers in Algorithmics - 12th International Workshop, 2018

Branching Bisimulation and Concurrent Object Verification.

Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2015

Quasi-Linearizability is Undecidable.

Chao Wang, Yi Lv, Gaoang Liu, Peng Wu

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015