Yongxin Zhao Xu Wang Huibiao Zhu Towards a Pomset Semantics for a Shared-Variable Parallel Language. 271-285 2010 UTP http://dx.doi.org/10.1007/978-3-642-16690-7_14 conf/utp/2010 db/conf/utp/utp2010.html#ZhaoWZ10