@misc{indiciae3fd0b4dc6872,
  title = {Value-passing CCS for Trees: A Theory for Concurrent Systems},
  author = {Shichao Liu and Ying Jiang},
  year = {2016},
  url = {https://arxiv.org/abs/1512.00550},
  note = {Source identifier: 1512.00550}
}