Sciweavers

SPIN
2005
Springer

Sound Transaction-Based Reduction Without Cycle Detection

14 years 5 months ago
Sound Transaction-Based Reduction Without Cycle Detection
Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where SPIN
Authors Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani
Comments (0)