El concepto de usar estructuras de datos al nivel alto libera al programador de los detalles de su implementación. El programador puede asumir que las operaciones están implementados correctamente y puede basar el desarrollo del programa concurrente en un funcionamiento correcto de las operaciones de los tipos de datos abstractos.
Las implementaciones concretas de los tipos de datos abstractos tienen que recurrir a las posibilidades descritas arriba.