Browsing by Author Zhao, Yongxin

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
 2018A UTP semantics for communicating processes with shared variables and its formal encoding in PVSShi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao