Cargando…

Directed Algebraic Topology and Concurrency

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Fajstrup, Lisbeth (Autor), Goubault, Eric (Autor), Haucourt, Emmanuel (Autor), Mimram, Samuel (Autor), Raussen, Martin (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.\\.