by
Lisbeth Fajstrup, Eric Goubault, Samuel Mimram
Language: English
Release Date: March 2, 2016
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...