An Input/Output Semantics for Distributed Program Equivalence Reasoning | Publicación