6 citations · 8 across the 12 of their papers we have counts for
7 papers · 1 filter
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…
A Modal Characterization of Alternating Approximate Bisimilarity
Jinjin Zhang, Zhaohui Zhu
Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation b…