Directed Algebraic Topology and Concurrency

• Κύριοι συγγραφείς: Fajstrup, Lisbeth (Συγγραφέας), Goubault, Eric (Συγγραφέας), Haucourt, Emmanuel (Συγγραφέας), Mimram, Samuel (Συγγραφέας), Raussen, Martin (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Έκδοση: 1st ed. 2016.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.\\.