Paul Roe;Clemens A. Szyperski
-;-
Automatic Mutual Exclusion and Atomicity Checks
Concurrency, Graphs and Models