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 journalArticlepeer-review

192 Downloads (Pure)

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.

Mathematics

Engineering & Materials Science