2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.FL2020★ 2 cited
Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach
Fujun Wang, Zining Cao, Lixing Tan +1
Probabilistic behavior is omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of various reasons, like uncertain environmen…
cs.LO2014★ 1 cited
Refinement Checking for Multirate Hybrid ZIA
Guozheng Li, Zining Cao, Zheng Gao
A hybrid system is a dynamical system with both discrete and continuous components. In order to study the modeling and verification aspects of hybrid system, in this paper we first…
cs.LO2010
Reducing Higher Order Pi-Calculus to Spatial Logics
Zining Cao
In this paper, we show that theory of processes can be reduced to the theory of spatial logic. Firstly, we propose a spatial logic SL for higher order pi-calculus, and give an infe…