A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems
2016
Procedia Computer Science
The process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency of process communications between the design and the implementation. To deal with such a challenge, we construct a formal framework for designing, implementing and verifying the consistency of process communications. In this framework, we use Failures in Communicating Sequential Processes (CSP), Erasmus and Category Theory as the foundation. The framework is illustrated by using a running example.
doi:10.1016/j.procs.2016.04.155
fatcat:chzo2ddgxfh6rag2v3evbhojuy