Directed Algebraic Topology and Concurrency

• Main Authors: Fajstrup, Lisbeth (Author), Goubault, Eric (Author), Haucourt, Emmanuel (Author), Mimram, Samuel (Author), Raussen, Martin (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Edition: 1st ed. 2016.
• Subjects: Computer science.; Computers.; Mathematical logic.; Computer science > Mathematics.; Computer mathematics.; Algebraic topology.; Complexity, Computational.; Computer Science.; Math Applications in Computer Science.; Algebraic Topology.; Mathematical Logic and Formal Languages.; Complexity.; Computation by Abstract Devices.; Mathematical Applications in Computer Science.

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 combi...

Table of Contents:

• 1 Introduction
• 2 A toy language for concurrency
• 3 Truly concurrent models of programs with resources
• 4 Directed topological models of concurrency
• 5 Algorithmics on directed spaces.\\.