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

Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun 0001, Jin Song Dong, Shengchao Qin. A UTP Semantics for Communicating Processes with Shared Variables. In Lindsay Groves, Jing Sun 0002, editors, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Volume 8144 of Lecture Notes in Computer Science, pages 215-230, Springer, 2013. [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

This author has not been identified. Look up 'Yang Liu' 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