Identifying operation commutativity in the Context of Replicated Systems - Vaz, Rúben Alexandre Correia (2023)