Fingerprint
Dive into the research topics of 'A UTP semantics for communicating processes with shared variables and its formal encoding in PVS'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
Research output: Contribution to journal › Article › peer-review