Samuel Mimram – författare
Visar alla böcker från författaren Samuel Mimram. Handla med fri frakt och snabb leverans.
5 produkter
Polygraphs: From Rewriting to Higher Categories
Av Samuel Mimram, Francois Metayer m. fl.
E-bok, 2025
1467 kr
Lägg i varukorg
Polygraphs: From Rewriting to Higher Categories
Av Dimitri Ara, Albert Burroni m. fl.
Häftad, 2025
1481 kr
Lägg i varukorg
This is the first book to revisit the theory of rewriting in the context of strict higher categories, through the unified approach provided by polygraphs, and put it in the context of homotopical algebra. The first half explores the theory of polygraphs in low dimensions and its applications to the …
Directed Algebraic Topology and Concurrency
Av Lisbeth Fajstrup, Eric Goubault m. fl.
Inbunden, 2016
1096 kr
Lägg i varukorg
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 …
Directed Algebraic Topology and Concurrency
Av Martin Raussen, Samuel Mimram m. fl.
E-bok, 2016
1413 kr
Lägg i varukorg
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 …
Directed Algebraic Topology and Concurrency
Av Lisbeth Fajstrup, Eric Goubault m. fl.
Häftad, 2018
1096 kr
Lägg i varukorg
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 …
