Yan Zhang

most citedMerging Process Algebra and Action-based Computation Tree Logic

1 citations · 1 across the 3 of their papers we have counts for

collaborators

3 papers

cs.LO2015

Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in $CLL_{R}$

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

In the framework of logic labelled transition system, a variant of weak ready simulation has been presented by Lüttgen and Vogler. It has been shown that such behavioural preorder…

cs.LO2015

On the greatest solution of equations in $CLL_{R}$

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

It is shown that, for any equation $X =_{R S} t_{X}$ in the LLTS-oriented process calculus $CLL_{R}$ , if $X$ is strongly guarded in $t_{X}$ , then the recursive term $\langle X|X=t_X…

cs.LO2012★ 1 cited

Merging Process Algebra and Action-based Computation Tree Logic

Zhaohui Zhu, Yan Zhang, Jinjin Zhang

Process algebra and temporal logic are two popular paradigms for the specification, verification and systematic development of reactive and concurrent systems. These two approaches…

Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLLR​

On the greatest solution of equations in CLLR​

Merging Process Algebra and Action-based Computation Tree Logic

Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in $CLL_{R}$

On the greatest solution of equations in $CLL_{R}$