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

Zhu, Muhua; Grogono, Peter; Ormandjieva, Olga; Kuang, Heng

doi:10.1016/j.procs.2016.04.155

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2016

2019

Publication Types

Select...

Article2

Other1

Relationship

Self Cite1

Independent2

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Researches [6] [7] used category theory to model concurrent systems. As a continuation, we propose to use category theory to explore and model LES for concurrent systems in this paper.…”

Section: Introductionmentioning

confidence: 99%

Using Category Theory to Explore and Model Label Event Structures

Zhu¹,

Li²

2019

JCC

Self Cite

View full text Add to dashboard Cite

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.

show abstract

“…Researches [6] [7] used category theory to model concurrent systems. As a continuation, we propose to use category theory to explore and model LES for concurrent systems in this paper.…”

Section: Introductionmentioning

confidence: 99%