11 search results - page 3 / 3 » Formalising Java's Data Race Free Guarantee |
158
click to vote
HVC
2005
Springer
15 years 8 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...