Assure Parallel Interference Patterns in Multithreaded Programs with Permissions. - Yang Zhao; Ligong Yu; Jia Bei (CSSE (2), 2008)

Assuring Structural Parallel Programs based on Scoped Permissions. - Yang Zhao; Ligong Yu; Gongxuan Zhang; Jia Bei (J. Softw., 2009)