Assuring Structural Parallel Programs based on Scoped Permissions

Yang Zhao, Ligong Yu, Gongxuan Zhang, Jia Bei. Assuring Structural Parallel Programs based on Scoped Permissions. JSW, 4(4):283-290, 2009. [doi]

Abstract

Abstract is missing.