Alternators in read/write atomicity

Sandeep S. Kulkarni، نويسنده , , Chase Bolen، نويسنده , , John Oleszkiewicz، نويسنده , , Andrew Robinson، نويسنده ,

دوهفته نامه با شماره پیاپی سال 2005

9

207

215

Algorithms , Alternator , Program transformation , Serial execution model (interleaving semantics) , Concurrent execution model(powerset semantics) , Read/write atomicity , Stabilization , Concurrency

Information Processing Letters

2005

Information Processing Letters

130036