Verifying Consistency of Process Communications between Design and Implementation of Concurrent Systems

Category theory is considered to be a suitable means for verifying consistency of process communications between design and implementation of concurrent systems. In this paper, certain features of a proposed categorical framework for the verification are studied by using a Client/Server example. In particular, Communicating Sequential Processes (CSP), Erasmus, abstraction, and category theory are used to verify the consistency of process communications between design and different implementations of the example.