Yan Zhang

According to our database, Yan Zhang authored at least 8 papers between 2012 and 2022.

Collaborative distances:

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

2022

Encoding safety in CLL_<i>R</i>.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

Theor. Comput. Sci., 2022

2015

On recursive operations over logic LTS.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

Math. Struct. Comput. Sci., 2015

Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL_R.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou

J. Appl. Log., 2015

On the greatest solution of equations in CLL_R.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

Inf. Process. Lett., 2015

Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLL_R.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

CoRR, 2015

2014

Greatest solutions of equations in $\text{CLL}_R$ and its application.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

CoRR, 2014

2012

Merging Process Algebra and Action-based Computation Tree Logic

Zhaohui Zhu, Yan Zhang, Jinjin Zhang

CoRR, 2012

A Process Calculus with Logical Operators

Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou

CoRR, 2012