Jinjin Zhang

activity

20122026

most citedOn Recursive Operations Over Logic LTS

6 citations · 8 across the 12 of their papers we have counts for

collaborators

Showing 2015Show all

2 papers · 1 filter

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…

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

On the greatest solution of equations in CLLR​

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

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