A Hypergraph Model for Communication Patterns

Axioms

Gabriel Ciobanu¹ 

[1] Faculty of Computer Science, Alexandru Ioan Cuza University, 700506 Iasi, Romania;

关键词: process calculus;    communication patterns;    control structures;    hypergraph model;   

DOI  :  10.3390/axioms11010008

来源: DOAJ

【 摘 要 】

The article deals with interaction in concurrent systems. A calculus able to express specific communication patterns is defined, together with its abstract control structures. A hypergraph model for these structures is presented. The hypergraphs are able to properly express the communication patterns, providing a fully abstract model for the pattern calculus. It is also proved that the hypergraph model preserves the operational reductions of processes from pattern calculus and of the actions from the control structures.

【 授权许可】

Unknown