1 paper
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…