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
394
Downloads
(Pure)