Un marco para diseñar tipos de datos abstractos concurrentes y recuperables basados en conmutatividad