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]

Authors

Yang Zhao

This author has not been identified. Look up 'Yang Zhao' in Google

Ligong Yu

This author has not been identified. Look up 'Ligong Yu' in Google

Gongxuan Zhang

This author has not been identified. Look up 'Gongxuan Zhang' in Google

Jia Bei

This author has not been identified. Look up 'Jia Bei' in Google