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:
Computer science-Mathematics.
Algebraic topology.
Machine theory.
Dynamics.
Nonlinear theories.
Computer science.
Mathematical Applications in Computer Science.
Algebraic Topology.
Formal Languages and Automata Theory.
Applied Dynamical Systems.
Theory of Computation.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares