The following publications are possibly variants of this publication:
- Towards a Pomset Semantics for a Shared-Variable Parallel LanguageYongxin Zhao, Xu Wang, Huibiao Zhu. utp 2010: 271-285 [doi]
- A UTP Semantics for Communicating Processes with Shared VariablesLing Shi, Yongxin Zhao, Yang Liu, Jun Sun 0001, Jin Song Dong, Shengchao Qin. icfem 2013: 215-230 [doi]
- Denotational Semantics for a Probabilistic Timed Shared-Variable LanguageHuibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin. utp 2013: 224-247 [doi]