Zhu, M., Grogono, P., Ormandjieva, O. and Kamthan, P. (2014) Using Category Theory and Data Flow Analysis for Modeling and Verifying Properties of Communications in the Process-Oriented Language Erasmus. Proceedings of the Seventh C* Conference on Computer Science and Software Engineering, Montreal, 3-5 August 2014, 201424:1-24:4.
https://doi.org/10.1145/2641483.2641529

has been cited by the following article:

• TITLE: Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems

  AUTHORS: Ming Zhu, Jing Li

  KEYWORDS: Concurrent System, Verification, CSP, Process-Oriented Programming, Abstraction, Category Theory

  JOURNAL NAME: Journal of Computer and Communications, Vol.6 No.11, November 27, 2018

  ABSTRACT: Process-oriented design and implementation of concurrent systems has important benefits. However, the inherent complexity of concurrent processes’ communication imposes challenges such as verifying consistency between the process-oriented design and implementation of a concurrent system. To deal with such a challenge, we use Galois connections, Failures and Category Theory to construct a formal framework for designing, implementing, analyzing and verifying consistency of concurrent systems. For the purpose of illustrating the framework, a running concurrent system is designed by Communicating Sequential Processes, implemented by a process-oriented programming language Erasmus.