Formal Justification of a Proof System for Communicating Sequential Processes
Krzysztof Rafal Apt · Journal of the ACM · 1983
In a previous paper a proof system dealing with partial correctness of communicating sequential processes was introduced.Soundness and relative completeness of this system are proved here.It is also m&cated in what way the semantics and the proof system can be extended to deal with the total correctness of the programs Categories and SubJect Descriptors: F. ILogics and Meanings of Programs]