A Process Calculus with Logical Operators - Yan Zhang 012; Zhaohui Zhu; Jinjin Zhang; Yong Zhou (CoRR, 2012)

Merging Process Algebra and Action-based Computation Tree Logic - Zhaohui Zhu; Yan Zhang 012; Jinjin Zhang (CoRR, 2012)

Greatest solutions of equations in $ text{CLL}_R$ and its application. - Yan Zhang 012; Zhaohui Zhu; Jinjin Zhang (CoRR, 2014)

Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLLR. - Yan Zhang 012; Zhaohui Zhu; Jinjin Zhang (CoRR, 2015)

On the greatest solution of equations in CLLR. - Yan Zhang 012; Zhaohui Zhu; Jinjin Zhang (Inf. Process. Lett., 2015)

Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLLR. - Yan Zhang 012; Zhaohui Zhu; Jinjin Zhang; Yong Zhou (J. Appl. Log., 2015)

On recursive operations over logic LTS. - Yan Zhang 012; Zhaohui Zhu; Jinjin Zhang (Math. Struct. Comput. Sci., 2015)

Encoding safety in CLLR. - Yan Zhang 012; Zhaohui Zhu; Jinjin Zhang (Theor. Comput. Sci., 2022)