Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Directed Algebraic Topology and Concurrency, by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, (electronic resource)
Directed Algebraic Topology and Concurrency, by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, (electronic resource)
Resource Information
The item Directed Algebraic Topology and Concurrency, by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Directed Algebraic Topology and Concurrency, by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 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
 Language
 eng
 Edition
 1st ed. 2016.
 Extent
 XI, 167 p. 1 illus.
 Isbn
 9783319153988
 Label
 Directed Algebraic Topology and Concurrency
 Title
 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
 http://library.link/vocab/creatorName
 Fajstrup, Lisbeth
 Image bit depth
 0
 LC call number
 QA76.9.M35
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName

 Goubault, Eric.
 Haucourt, Emmanuel.
 Mimram, Samuel.
 Raussen, Martin.
 SpringerLink
 http://library.link/vocab/subjectName

 Computer science
 Computers
 Logic, Symbolic and mathematical
 Computer science
 Computer science
 Algebraic topology
 Computational complexity
 Computer Science
 Math Applications in Computer Science
 Algebraic Topology
 Mathematical Logic and Formal Languages
 Complexity
 Computation by Abstract Devices
 Mathematical Applications in Computer Science
 Label
 Directed Algebraic Topology and Concurrency, by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Dimensions
 unknown
 Edition
 1st ed. 2016.
 Extent
 XI, 167 p. 1 illus.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783319153988
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/9783319153988
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783319153988
 Label
 Directed Algebraic Topology and Concurrency, by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Dimensions
 unknown
 Edition
 1st ed. 2016.
 Extent
 XI, 167 p. 1 illus.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783319153988
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/9783319153988
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783319153988
Subject
 Algebraic Topology
 Algebraic Topology
 Algebraic Topology
 Algebraic topology
 Algebraic topology
 Algebraic topology
 Complexity
 Computation by Abstract Devices
 Computational complexity
 Computational complexity
 Computational complexity
 Computer Science
 Computer Science
 Computer Science
 Computer science
 Computer science
 Computer science
 Computer science  Mathematics
 Computer science  Mathematics
 Computer science  Mathematics
 Computers
 Computers
 Computers
 Electronic resources
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Math Applications in Computer Science
 Mathematical Applications in Computer Science
 Mathematical Logic and Formal Languages
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (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/portal/DirectedAlgebraicTopologyandConcurrencyby/OumAPCETVfI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/DirectedAlgebraicTopologyandConcurrencyby/OumAPCETVfI/">Directed Algebraic Topology and Concurrency, by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, (electronic resource)</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 Item Directed Algebraic Topology and Concurrency, by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, (electronic resource)
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/portal/DirectedAlgebraicTopologyandConcurrencyby/OumAPCETVfI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/DirectedAlgebraicTopologyandConcurrencyby/OumAPCETVfI/">Directed Algebraic Topology and Concurrency, by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, (electronic resource)</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>