zbMath0996.68566MaRDI QIDQ4536967
Joaquim Gabarró, Xavier Messeguer, Nicolas Schabanel, Luc Bougé
Publication date: 6 November 2002
zbMATH Keywords
search trees; concurrent algorithms; AVL trees; concurrent generalized rotations; concurrent insertions and deletions; safety and liveness proofs
Mathematics Subject Classification ID
68U99: Computing methodologies and applications
68P05: Data structures