Login

Fajstrup, Lisbeth

Directed Algebraic Topology and Concurrency

Fajstrup, Lisbeth - Directed Algebraic Topology and Concurrency, ebook

66,10€

Ebook, PDF with Adobe DRM
ISBN: 9783319153988
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: Computer Science, Math Applications in Computer Science, Algebraic Topology, Mathematical Logic and Formal Languages, Complexity, Computation by Abstract Devices, Mathematical Applications in Computer Science

Author(s)
 
 
 
 
Publisher
Springer
Publication year
2016
Language
en
Edition
1st ed. 2016
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783319153988
Printed ISBN
978-3-319-15397-1

Similar titles