Resultado de la búsqueda: algoritmos de control de concurrencia pruebas de validacion optimistas