Translating Xd-C programs to MSVL programs

Meng Wang, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Chenguang Yao. Translating Xd-C programs to MSVL programs. Theoretical Computer Science, 809:430-465, 2020. [doi]

@article{WangTZDY20,
  title = {Translating Xd-C programs to MSVL programs},
  author = {Meng Wang and Cong Tian and Nan Zhang 0001 and Zhenhua Duan and Chenguang Yao},
  year = {2020},
  doi = {10.1016/j.tcs.2019.12.038},
  url = {https://doi.org/10.1016/j.tcs.2019.12.038},
  researchr = {https://researchr.org/publication/WangTZDY20},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {809},
  pages = {430-465},
}