Algebraic topology and concurrency

DOI10.1016/J.TCS.2006.03.022zbMATH Open1099.55003OpenAlexW2052547749MaRDI QIDQ2500494FDOQ2500494

Authors: Lisbeth Fajstrup, Martin Raussen, Éric Goubault 

Publication date: 16 August 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.03.022

Recommendations

• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Some geometric perspectives in concurrency theory
• scientific article; zbMATH DE number 1206113
• From concurrency to algebraic topology
• Invariants of directed spaces

zbMATH Keywords

concurrencyhigher-dimensional automatacubical setdeadlockdirected homotopylocal partial order

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Theory of computing (68Q99)

Cites Work

• Components of the fundamental category
• On the expressiveness of higher dimensional automata
• Dipaths and dihomotopies in a cubical complex
• Title not available (Why is that?)
• Renaming in an asynchronous environment
• Homotopy invariants of higher dimensional categories and concurrency in computer science
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological deformation of higher dimensional automata
• Some geometric perspectives in concurrency theory
• Title not available (Why is that?)
• Homologie singulière des espaces fibrés. Applications
• Impossibility of distributed consensus with one faulty process
• On the algebra of cubes
• Wait-Free k-Set Agreement is Impossible: The Topology of Public Knowledge
• Generalized FLP impossibility result for t-resilient asynchronous computations
• Set consensus using arbitrary objects (preliminary version)
• Complete rewriting systems and homology of monoid algebras
• Title not available (Why is that?)
• A finiteness condition for rewriting systems
• Colimit theorems for relative homotopy groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dicovering spaces
• Concurrent transition systems
• The asynchronous computability theorem for t-resilient tasks
• Title not available (Why is that?)
• On the classification of dipaths in geometric models for concurrency
• Title not available (Why is that?)
• State spaces and dipaths up to dihomotopy
• Title not available (Why is that?)
• The geometry of semaphore programs
• Robust wait-free hierarchies
• Title not available (Why is that?)
• Algebraic spans
• A Correctness Condition for High-Performance Multiprocessors
• The Anick resolution
• Investigation of concurrent processes by means of homotopy functors
• On the robustness of Herlihy's hierarchy
• A simple constructive computability theorem for wait-free computation
• From concurrency to algebraic topology
• Extraction of concurrent processes from higher dimensional automata
• The geometry of timed PV programs
• Title not available (Why is that?)

Cited In (75)

• The geometry of conservative programs
• Unique decomposition of homogeneous languages and application to isothetic regions
• The homology digraph of a preordered space
• Criteria for homotopic maps to be so along monotone homotopies
• Non-existing and ill-behaved coequalizers of locally ordered spaces
• A Hurewicz model structure for directed topology
• Single-set cubical categories and their formalisation with a proof assistant
• Syntactic regions for concurrent programs
• The topology of critical processes. III: Computing homotopy
• Cut-off theorems for the \textit{PV}-model
• Persistent homology of partially ordered spaces
• Configuration spaces and directed paths on the final precubical set
• On the classification of dipaths in geometric models for concurrency
• Spaces of directed paths on pre-cubical sets II
• Homology groups of cubical sets
• History-preserving bisimilarity for higher-dimensional automata via open maps
• Homology for higher-rank graphs and twisted \(C^*\)-algebras
• ST-structures
• Title not available (Why is that?)
• Crossed complexes and higher homotopy groupoids as noncommutative tools for higher dimensional local-to-global problems
• Topological abstraction of higher-dimensional automata
• Streams, \(d\)-spaces and their fundamental categories
• Simplicial models of trace spaces
• Trace spaces in a pre-cubical complex
• A convenient category of locally preordered spaces
• Homology of spaces of directed paths on Euclidean cubical complexes
• Cubical local partial orders on cubically subdivided spaces -- existence and construction
• Deadlocks and dihomotopy in mutual exclusion models
• Some collapsing operations for 2-dimensional precubical sets
• Simplicial Models for Concurrency
• The trace space of the \(k\)-skeleton of the \(n\)-cube
• Inessential directed maps and directed homotopy equivalences
• A fibration category of local pospaces
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Simplicial models for trace spaces. II: General higher dimensional automata
• Homomorphism complexes, reconfiguration, and homotopy for directed graphs
• Formal relationships between geometrical and classical models for concurrency
• Future path-components in directed topology
• Trace spaces of directed tori with rectangular holes
• The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero
• Context for models of concurrency
• Some geometric perspectives in concurrency theory
• Sheaves and geometric logic and applications to modular verification of complex systems
• Comparing topological models for concurrency
• Geometric and combinatorial views on asynchronous computability
• Sculptures in concurrency
• On symmetric higher-dimensional automata and bisimilarity
• Components of the fundamental category. II
• A case for po-manifolds -- in chase after a good topological model for concurrency
• A framework for component categories
• Dipaths and dihomotopies in a cubical complex
• Labeled homology of higher-dimensional automata
• Languages of higher-dimensional automata
• Geometric analysis of nondeterminacy in dynamical systems
• Directed algebraic topology, categories and higher categories
• Infinitely running concurrent processes with loops from a geometric viewpoint
• Cubical approximation for directed topology. I
• Higher fundamental groupoids for spaces
• Weak morphisms of higher dimensional automata
• Invariants of directed spaces
• Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
• A model category for local po-spaces
• Saturating directed spaces
• Pair component categories for directed spaces
• Investigation of concurrent processes by means of homotopy functors
• Stratified spaces, directed algebraic topology, and state-sum TQFTs
• Towards directed collapsibility (research)
• Combinatorial conditions for directed collapsing
• Directed homology theories and Eilenberg-Steenrod axioms
• Stable components of directed spaces
• From concurrency to algebraic topology
• Directed path spaces via discrete vector fields
• Spaces of directed paths on pre-cubical sets
• On execution spaces of PV-programs
• On the hierarchy of d-structures

This page was built for publication: Algebraic topology and concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2500494)