A Hypergraph Model for Communication Patterns

Gabriel Ciobanu
2021 Axioms  
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.
doi:10.3390/axioms11010008 fatcat:xl3kjsiixjdsbil6v4y5ngw7zq