Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems

• DOI: 10.1016/j.procs.2016.04.155
• Publication Date: 2016-05-12T19:30:00Z
• Authors: Ming Zhu; Peter Grogono; Olga Ormandjieva; Heng Kuang
• Keywords: Communicating sequential processes

The process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency process communications between implementation. To deal with such a challenge, we construct formal framework for designing, implementing verifying communications. In this framework, use Failures in Communicating Sequential Processes (CSP), Erasmus Category Theory as foundation. illustrated by using running example.