An Input/Output Semantics for Distributed Program Equivalence Reasoning
Keywords: برنامه های موازی; Distributed programs; parallel programs; input/output equivalence; equivalence preserving transformations; verification; program simplification; synchronous communications; laws of distributed programs;