6 citations · 7 across the 5 of their papers we have counts for
5 papers
Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in
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…
On the greatest solution of equations in
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
It is shown that, for any equation in the LLTS-oriented process calculus , if is strongly guarded in , then the recursive term $\langle X|X=t_X…
Greatest solutions of equations in and its application
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
This paper explores the process calculus furtherly. First, we prove that for any equation such that is strongly guarded in , $\langle X|X=t_X…
On Recursive Operations Over Logic LTS
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
Recently, in order to mix algebraic and logic styles of specification in a uniform framework, the notion of a logic labelled transition system (Logic LTS or LLTS for short) has bee…
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…