A Hypergraph Model for Communication Patterns

Autor:	Gabriel Ciobanu
Jazyk:	angličtina
Rok vydání:	2021
Předmět:	process calculus communication patterns control structures hypergraph model Mathematics QA1-939
Zdroj:	Axioms, Vol 11, Iss 1, p 8 (2021)
Druh dokumentu:	article
ISSN:	2075-1680
DOI:	10.3390/axioms11010008
Popis:	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.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/b43c2ece19bf4d5985fb80d0a233aac2 Zobrazit plný text záznamu View record in DOAJ Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.