« guide to atlanta | Main | Lex/Yacc manual »
December 15, 2003
Race conditions
A thourough understanding of race conditions is needed to think of a way to describe one in our model checker.
- Maybe an interesting thesis with a model of race conditions.
Posted by jones at December 15, 2003 02:45 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)