
by Lisbeth Fajstrup (Author), Eric Goubault (Author), Emmanuel Haucourt (Author)
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.
Format: Hardcover
Pages: 180
Edition: 1st ed. 2016
Publisher: Springer
Published: 11 Mar 2016
ISBN 10: 3319153978
ISBN 13: 9783319153971