To access the full text documents, please follow this link: http://hdl.handle.net/2117/84042

HyperChromatic trees: a fine-grained approach to distributed algorithms on RedBlack trees
Messeguer Peypoch, Xavier; Valles Fuente, Borja
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
RedBlack trees
Concurrent algorithms
Concurrent rebalancing
Safety and liveness proofs
Local rules
info:eu-repo/semantics/publishedVersion
Report
         

Show full item record

Related documents

Other documents of the same author

Rozas Liras, Julio A.; Sánchez del Barrio, Juan Carlos; Messeguer Peypoch, Xavier; Rozas, Ricardo
Ruiz Orera, Jorge; Messeguer Peypoch, Xavier; Subirana Torrent, Juan A.; Albà Soler, M. Mar
Rozas, Julio; Sánchez del Barrio, Juan C.; Messeguer Peypoch, Xavier; Rozas, Ricardo
Bougé, Luc; Gabarró Vallès, Joaquim; Messeguer Peypoch, Xavier
Messeguer Peypoch, Xavier; Huerta, Mario
 

Coordination

 

Supporters