LogGPS: a Parallel Computational Model for Synchronization Analysis (2001)

by F Ino, N Fujimoto, K Hagihara
Venue:In Proc. of the eighth ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming (PPoPP