2 citations · 3 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…