Xinxin Liu

According to our database, Xinxin Liu authored at least 14 papers between 2007 and 2026.

Collaborative distances:

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

2026

Image reflection on process graphs of 1-free regular expressions modulo bisimilarity.

Yuanrui Zhang, Xinxin Liu

Theor. Comput. Sci., 2026

2025

HpC: A Calculus for Hybrid and Mobile Systems - Full Version.

Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan

CoRR, January, 2025

HpC: A Calculus for Hybrid and Mobile Systems.

Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan

Proc. ACM Program. Lang., 2025

2023

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS.

Quan Sun, David N. Jansen, Xinxin Liu, Wei Zhang

Formal Aspects Comput., December, 2023

2022

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof.

David N. Jansen, Xinxin Liu

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours.

Xinxin Liu, Tingting Yu

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.

Xinxin Liu, Tingting Yu

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2018

Logics for Bisimulation and Divergence.

Xinxin Liu, Tingting Yu, Wenhui Zhang

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Characterization and Verification of Stuttering Equivalence.

Xinxin Liu, Wenhui Zhang

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Analyzing divergence in bisimulation semantics.

Xinxin Liu, Tingting Yu, Wenhui Zhang

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Negative Results on Decidability and Small Model Property of Process Equations.

Xinxin Liu

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2012

Specification in PDL with Recursion.

Xinxin Liu, Bingtian Xue

Proceedings of the NASA Formal Methods, 2012

2007

Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.

Xinxin Liu, Haiyan Chen

Proceedings of the Theoretical Aspects of Computing, 2007

Expansive-Bisimulation for Context-Free Processes.

Xinxin Liu

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007