Ligong Yu

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Yang Zhao, Ligong Yu, Gongxuan Zhang, Jia Bei
Assuring Structural Parallel Programs based on Scoped Permissions. J. Softw. 4 (4) (2009)
Yang Zhao, Ligong Yu, Jia Bei
Assure Parallel Interference Patterns in Multithreaded Programs with Permissions. CSSE (2) (2008)