APA引文

SHI, L., ZHAO, Y., LIU, Y., SUN, J., DONG, J. S., & QIN, S. (2018). A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Institutional Knowledge at Singapore Management University.

Chicago Style Citation

SHI, Ling, Yongxin ZHAO, Yang LIU, Jun SUN, Jin Song DONG, and Shengchao QIN. A UTP Semantics for Communicating Processes With Shared Variables and Its Formal Encoding in PVS. Institutional Knowledge at Singapore Management University, 2018.

MLA引文

SHI, Ling, et al. A UTP Semantics for Communicating Processes With Shared Variables and Its Formal Encoding in PVS. Institutional Knowledge at Singapore Management University, 2018.