Directed Algebraic Topology and Concurrency
Resource Information
The work Directed Algebraic Topology and Concurrency represents a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Directed Algebraic Topology and Concurrency
Resource Information
The work Directed Algebraic Topology and Concurrency represents a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Work, Language Material, Books.
 Label
 Directed Algebraic Topology and Concurrency
 Statement of responsibility
 by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
 Subject

 Computational complexity
 Computation by Abstract Devices
 Computers
 Computer science
 Math Applications in Computer Science
 Complexity
 Logic, Symbolic and mathematical
 Mathematical Logic and Formal Languages
 Computational complexity
 Computational complexity
 Computer Science
 Algebraic Topology
 Computer Science
 Computer science  Mathematics
 Logic, Symbolic and mathematical
 Algebraic Topology
 Logic, Symbolic and mathematical
 Mathematical Applications in Computer Science
 Algebraic topology
 Electronic resources
 Computer science
 Algebraic topology
 Algebraic Topology
 Computer science  Mathematics
 Algebraic topology
 Computers
 Computers
 Computer Science
 Computer science
 Computer science  Mathematics
 Language
 eng
 Summary
 This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking wellknown 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 higherdimensional 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
 Image bit depth
 0
 LC call number
 QA76.9.M35
 Literary form
 non fiction
Context
Context of Directed Algebraic Topology and ConcurrencyEmbed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/jEkdA3_1w_E/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/jEkdA3_1w_E/">Directed Algebraic Topology and Concurrency</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Work Directed Algebraic Topology and Concurrency
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/jEkdA3_1w_E/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/jEkdA3_1w_E/">Directed Algebraic Topology and Concurrency</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>