First Page | Document Content | |
---|---|---|
Date: 2009-11-04 11:20:44 | True Concurrency at Work: Relaxed Memory Models Gérard Boudol (joint work with Gustavo Petri) INRIA Sophia AntipolisDocument is deleted from original location. Download Document from Web Archive |