Directed Algebraic Topology and Concurrency

Free download. Book file PDF easily for everyone and every device. You can download and read online Directed Algebraic Topology and Concurrency file PDF Book only if you are registered here. And also you can download or read online all Book PDF file that related with Directed Algebraic Topology and Concurrency book. Happy reading Directed Algebraic Topology and Concurrency Bookeveryone. Download file Free Book PDF Directed Algebraic Topology and Concurrency at Complete PDF Library. This Book have some digital formats such us :paperbook, ebook, kindle, epub, fb2 and another formats. Here is The CompletePDF Book Library. It's free to register here to get Book file PDF Directed Algebraic Topology and Concurrency Pocket Guide.

In the process, it develops tools and invariants for the new discipline directed algebraic topology , which is driven by fundamental research interests as well as by applications, primarily in the static analysis of concurrent programs.


  • Beginning Silverlight 3.
  • Module Theory, Extending Modules and Generalizations.
  • Directed Algebraic Topology and Concurrency.
  • تفاصيل ال٠نتج;
  • War, Culture and Society in Early Modern South Asia, 1740-1849!

The state space of a concurrent program is described as a higher-dimensional space, the topology of which encodes the essential properties of the system. As a result, tools and concepts from topology have to be extended to take privileged directions into account. Accedi Cerca ordine.

Chi siamo Dove siamo Help Ricerca Avanzata. Genere: Libro. Editore: Springer.

Eric Goubault 1, 2 Details. Eric Goubault 1, 2 AuthorId : Author.

Join Kobo & start eReading today

Hide details. Abstract : We show in this article that some concepts from homotopy theory, in algebraic topology, are relevant for studying concurrent programs.

We show some of the essential differences between ordinary and directed homotopy through examples. We also relate the topological view to a combinatorial view of concurrent programs closer to transition systems, through the notion of a cubical set.

Directed Algebraic Topology Concurrency by Lisbeth Fajstrup

Finally we apply some of these concepts to the proof of the safeness of a two-phase protocol, well-known and used in concurrent database theory. We end up with a list of problems from both a mathematical and a computer-scientific point of view.

Fajstrup, Lisbeth

Document type : Journal articles.