Directed algebraic topology and concurrency
Auteur :
Fajstrup, Lisbeth / Goubault, Eric / Haucourt, Emmanuel / Mimram, Samuel / Raussen, Martin
Éditeur :
Springer International Publishing AG
ISBN :
9783319792170
Date de publication :
19 avr. 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models.