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