Fajstrup, Lisbeth
Directed Algebraic Topology and Concurrency
1. Introduction
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
2. A Toy Language for Concurrency
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
3. Truly Concurrent Models of Programs with Resources
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
4. Directed Topological Models of Concurrency
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
5. Algorithmics on Directed Spaces
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
6. The Category of Components
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
7. Path Spaces
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
8. Perspectives
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
Avainsanat: Computer Science, Math Applications in Computer Science, Algebraic Topology, Mathematical Logic and Formal Languages, Complexity, Computation by Abstract Devices, Mathematical Applications in Computer Science
- Tekijä(t)
- Fajstrup, Lisbeth
- Goubault, Eric
- Haucourt, Emmanuel
- Mimram, Samuel
- Raussen, Martin
- Julkaisija
- Springer
- Julkaisuvuosi
- 2016
- Kieli
- en
- Painos
- 1st ed. 2016
- Sivumäärä
- 11 sivua
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319153988
- Painetun ISBN
- 978-3-319-15397-1