This paper concerns the relation between process algebra and Hoare logic. We investigate question whether how a logic can be used for reasoning about data change in course of when equationally that process. introduce an extension ACP (Algebra Communicating Processes) with features are relevant to processes which involved, present considered this algebra, discuss use as complement pure equationa...