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 CitationSHI, 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 CitationSHI, 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.
Warning: These citations may not always be 100% accurate.