Abstract
This paper concerns the relation between process algebra and Hoare
logic.
We introduce an extension of ACP (Algebra of Communicating Processes)
with features that are relevant to processes in which data are involved,
present a Hoare logic for the processes considered in this process
algebra, and discuss the use of this Hoare logic as a complement to pure
equational reasoning from the equational axioms of the process algebra.
Preprint available:
arXiv:1906.04491v3 [cs.LO]