Formal communication elimination and sequentialization equivalence proofs for distributed system models | Publicación