11 search results - page 3 / 3 » Formalising Java's Data Race Free Guarantee |
202
Voted
HVC
2005
Springer
15 years 12 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...