Login / Signup
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)