EasyChair Smart Slide
Proving a concurrent program correct by demonstrating it does nothing
Proving a concurrent program correct by demonstrating it does nothing