1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2017★ 1 cited
Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach
Shichao Liu, Ying Jiang
We propose a graph-based process calculus for modeling and reasoning about wireless networks with local broadcasts. Graphs are used at syntactical level to describe the topological…
cs.LO2016
A Fully Abstract Semantics for Value-passing CCS for Trees
Shichao Liu, Thomas Ehrhard, Ying Jiang
This paper provides a fully abstract semantics for value-passing CCS for trees (VCCTS). The operational semantics is given both in terms of a reduction semantics and in terms of a…
cs.LO2015★ 1 cited
Value-passing CCS for Trees: A Theory for Concurrent Systems
Shichao Liu, Ying Jiang
In this paper, we extend the theory CCS for trees (CCTS) to value-passing CCTS (VCCTS), of which symbols have the capacity for receiving and sending data values, and a nonsequentia…