Ling Shi, Yongxin Zhao, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Shengchao Qin. A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Asp. Comput., 30(3-4):351-380, 2018. [doi]
@article{ShiZLSDQ18,
title = {A UTP semantics for communicating processes with shared variables and its formal encoding in PVS},
author = {Ling Shi and Yongxin Zhao and Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong and Shengchao Qin},
year = {2018},
doi = {10.1007/s00165-018-0453-7},
url = {https://doi.org/10.1007/s00165-018-0453-7},
researchr = {https://researchr.org/publication/ShiZLSDQ18},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {30},
number = {3-4},
pages = {351-380},
}