Sequential composition of protocols without simultaneous terminationYehuda LindellAnna Lysyanskayaet al.2002PODC 2002
Safe memory reclamation for dynamic lock-free objects using atomic reads and writesMaged M. Michael2002PODC 2002