Value-Passing CCS for Trees: A Theory for Concurrent Systems.

Shichao Liu, Ying Jiang

Browse the full TASE paper archive.