External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

Ling Shi, Yongxin Zhao, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Shengchao Qin. A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Asp. Comput., 30(3-4):351-380, 2018. [doi]

Authors

Ling Shi

This author has not been identified. Look up 'Ling Shi' in Google

Yongxin Zhao

This author has not been identified. Look up 'Yongxin Zhao' in Google

Yang Liu 0003

This author has not been identified. Look up 'Yang Liu 0003' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google

Shengchao Qin

This author has not been identified. Look up 'Shengchao Qin' in Google
runs on