Consistency models with global operation sequencing and their composition (extended version) | Publicación