Automatic mutual exclusion and atomicity checks. In Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th (0)

by M Abadi
Venue:Lecture Notes in Computer Science