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