Variable Permissions for Concurrency Verification? Duy-Khanh Le, Wei-Ngan Chin, Yong-Meng Teo Department of Computer Science, National University of Singapore (Technical Report) Abstract. In the multicore era, verificati

First Page		Document Content
Date: 2013-07-17 06:32:09		Variable Permissions for Concurrency Verification? Duy-Khanh Le, Wei-Ngan Chin, Yong-Meng Teo Department of Computer Science, National University of Singapore (Technical Report) Abstract. In the multicore era, verificati Add to Reading List Source URL: www.comp.nus.edu.sg Download Document from Source Website File Size: 426,21 KB Share Document on Facebook