Safe Concurrency Introduction through Slicing.

Huiqing Li, Simon J. Thompson

Browse the full PEPM paper archive.