Visible to the public Automated Inference of Atomic Sets for Safe Concurrent Execution

Submitted by amyclay on Mon, 11/23/2015 - 4:25pm
License: 
Creative Commons 2.5

Other available formats:

Automated Inference of Atomic Sets for Safe Concurrent Execution
Switch to experimental viewer