Article citationsMore>>

Zhu, M., Grogono, P., Ormandjieva, O. and Kuang H. (2016) Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems. Proceedings of the 7th International Conference on Ambient Systems, Networks and Technologies, Madrid, 23-26 May 2016, 700-704.
https://doi.org/10.1016/j.procs.2016.04.155

has been cited by the following article:

• TITLE: Using Category Theory to Explore and Model Label Event Structures

  AUTHORS: Ming Zhu, Jing Li

  KEYWORDS: Concurrent System, LES, Formalization, Category Theory

  JOURNAL NAME: Journal of Computer and Communications, Vol.7 No.1, January 28, 2019

  ABSTRACT: The development of a concurrent system poses unique challenges, especially those related to correctness and consistency, as such a system usually involves several interactive processes executing simultaneously. To deal with some of these challenges, we resorted to Labeled Event Structures (LES) and category theory as the formal methods to model concurrent systems. Specifically, in this paper, we proposed an idea to define categories and corresponding constructs, such as product and sum, to model events and relationships among events represented by LES. To explain the idea, several examples are developed. Though a mathematical proof, the proposed idea helped to build a correct-by-construction approach for formalizing LES models of concurrent systems.