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