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

362 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.

Keyphrases

Computer Science