Directed Algebraic Topology and Concurrency
Springer | Theoretical Computer Science | March 2 2016 | ISBN-10: 3319153978 | 167 pages | pdf | 6.21 mb
Authors: Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.
Addresses the needs of graduate students, researchers, and practitioners in the field, mathematicians and computer scientists alike
Presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis
Describes the state space of a concurrent program, which is described as a higher-dimensional space, the topology of which encodes the essential properties of the system