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