id: 70251499
dt: a
an: 70251499
au: Boudol, Gérard
ti: A deadlock-free semantics for shared memory concurrency
so: ICTAC, 140-154 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-03466-4_9