1 citations · 2 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
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…
cs.LO2012
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…
cs.LO2012★ 1 cited
A Process Calculus with Logical Operators
Yan Zhang, Zhaohui Zhu, Jinjin Zhang +1
In order to combine operational and logical styles of specifications in one unified framework, the notion of logic labelled transition systems (Logic LTS, for short) has been prese…