A UTP Semantics for Communicating Processes with Shared Variables.

Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin

Browse the full ICFEM paper archive.