Another interesting paper on analyzing concurrent data structures. Seems to be simplified and easy to go with. Implementations included. http://resources.aims

Another interesting paper on analyzing concurrent data structures. Seems to be simplified and easy to go with. Implementations included. http://resources.aims.ac.za/archive/2009/viateur.pdf http://resources.aims.ac.za/archive/2009/viateur.pdf