Hacker News new | past | comments | ask | show | jobs | submit login
Using Relacy to Verify Lock-Free Threading Algorithms (cbloomrants.blogspot.com)
2 points by JabavuAdams on Mar 3, 2009 | hide | past | web | favorite



Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: