Directed Algebraic Topology and Concurrency

Nonfiction, Science & Nature, Mathematics, Topology, Computers, Database Management, Data Processing, General Computing
Cover of the book Directed Algebraic Topology and Concurrency by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt ISBN: 9783319153988
Publisher: Springer International Publishing Publication: March 2, 2016
Imprint: Springer Language: English
Author: Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
ISBN: 9783319153988
Publisher: Springer International Publishing
Publication: March 2, 2016
Imprint: Springer
Language: English

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 combinatorial and topological models. 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.

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. In order to analyse all possible executions in the state space, more than “just” the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topology have to be extended to take privileged directions into account.

The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 combinatorial and topological models. 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.

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. In order to analyse all possible executions in the state space, more than “just” the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topology have to be extended to take privileged directions into account.

The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.

More books from Springer International Publishing

Cover of the book Arts-based Methods and Organizational Learning by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book Semantic Web Evaluation Challenges by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book C-H Bond Activation and Catalytic Functionalization II by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book Low-Carbon Energy in Africa and Latin America by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book Proceedings of the Eighth International Conference on Soft Computing and Pattern Recognition (SoCPaR 2016) by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book Energy and the Wealth of Nations by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book The Effects of Financial Crises on the Binding Force of Contracts - Renegotiation, Rescission or Revision by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book Contemporary Operations and Logistics by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book Selected Areas in Cryptography – SAC 2018 by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book Principle and Application Progress in Location-Based Services by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book The Material Culture of Multilingualism by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book SDL 2015: Model-Driven Engineering for Smart Cities by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book Web and Big Data by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book The Teleoscopic Polity by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
Cover of the book Switzerland’s Differentiated European Integration by Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy