Algebraic topology and concurrency
From MaRDI portal
Publication:2500494
Recommendations
Cites work
- scientific article; zbMATH DE number 2086216 (Why is no real title available?)
- scientific article; zbMATH DE number 996442 (Why is no real title available?)
- scientific article; zbMATH DE number 1803729 (Why is no real title available?)
- scientific article; zbMATH DE number 4210420 (Why is no real title available?)
- scientific article; zbMATH DE number 3676806 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3502307 (Why is no real title available?)
- scientific article; zbMATH DE number 1231557 (Why is no real title available?)
- scientific article; zbMATH DE number 709538 (Why is no real title available?)
- scientific article; zbMATH DE number 2051884 (Why is no real title available?)
- scientific article; zbMATH DE number 1372681 (Why is no real title available?)
- scientific article; zbMATH DE number 3213310 (Why is no real title available?)
- A Correctness Condition for High-Performance Multiprocessors
- A finiteness condition for rewriting systems
- A simple constructive computability theorem for wait-free computation
- Algebraic spans
- Colimit theorems for relative homotopy groups
- Complete rewriting systems and homology of monoid algebras
- Components of the fundamental category
- Concurrent transition systems
- Dicovering spaces
- Dipaths and dihomotopies in a cubical complex
- Extraction of concurrent processes from higher dimensional automata
- From concurrency to algebraic topology
- Generalized FLP impossibility result for t-resilient asynchronous computations
- Homologie singulière des espaces fibrés. Applications
- Homotopy invariants of higher dimensional categories and concurrency in computer science
- Impossibility of distributed consensus with one faulty process
- Investigation of concurrent processes by means of homotopy functors
- On the algebra of cubes
- On the classification of dipaths in geometric models for concurrency
- On the expressiveness of higher dimensional automata
- On the robustness of Herlihy's hierarchy
- Renaming in an asynchronous environment
- Robust wait-free hierarchies
- Set consensus using arbitrary objects (preliminary version)
- Some geometric perspectives in concurrency theory
- State spaces and dipaths up to dihomotopy
- The Anick resolution
- The asynchronous computability theorem for t-resilient tasks
- The geometry of semaphore programs
- The geometry of timed PV programs
- Topological deformation of higher dimensional automata
- Wait-Free k-Set Agreement is Impossible: The Topology of Public Knowledge
Cited in
(75)- On the classification of dipaths in geometric models for concurrency
- Spaces of directed paths on pre-cubical sets II
- History-preserving bisimilarity for higher-dimensional automata via open maps
- Homology groups of cubical sets
- The geometry of conservative programs
- Homology for higher-rank graphs and twisted \(C^*\)-algebras
- ST-structures
- scientific article; zbMATH DE number 17695 (Why is no real title available?)
- Crossed complexes and higher homotopy groupoids as noncommutative tools for higher dimensional local-to-global problems
- Topological abstraction of higher-dimensional automata
- Unique decomposition of homogeneous languages and application to isothetic regions
- Simplicial models of trace spaces
- Trace spaces in a pre-cubical complex
- A convenient category of locally preordered spaces
- Streams, \(d\)-spaces and their fundamental categories
- Cubical local partial orders on cubically subdivided spaces -- existence and construction
- Deadlocks and dihomotopy in mutual exclusion models
- Homology of spaces of directed paths on Euclidean cubical complexes
- Some collapsing operations for 2-dimensional precubical sets
- The trace space of the \(k\)-skeleton of the \(n\)-cube
- Simplicial Models for Concurrency
- 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
- Future path-components in directed topology
- Formal relationships between geometrical and classical models for concurrency
- The homology digraph of a preordered space
- Trace spaces of directed tori with rectangular holes
- Some geometric perspectives in concurrency theory
- Context for models of concurrency
- The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero
- Sheaves and geometric logic and applications to modular verification of complex systems
- Comparing topological models for concurrency
- Criteria for homotopic maps to be so along monotone homotopies
- 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
- Dipaths and dihomotopies in a cubical complex
- A framework for component categories
- Labeled homology of higher-dimensional automata
- Geometric analysis of nondeterminacy in dynamical systems
- Languages of higher-dimensional automata
- Directed algebraic topology, categories and higher categories
- Non-existing and ill-behaved coequalizers of locally ordered spaces
- Cubical approximation for directed topology. I
- Infinitely running concurrent processes with loops from a geometric viewpoint
- Higher fundamental groupoids for spaces
- Weak morphisms of higher dimensional automata
- Invariants of directed spaces
- A model category for local po-spaces
- Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
- A Hurewicz model structure for directed topology
- Single-set cubical categories and their formalisation with a proof assistant
- Syntactic regions for concurrent programs
- Saturating directed spaces
- Pair component categories for directed spaces
- Investigation of concurrent processes by means of homotopy functors
- The topology of critical processes. III: Computing homotopy
- Stratified spaces, directed algebraic topology, and state-sum TQFTs
- Towards directed collapsibility (research)
- Cut-off theorems for the \textit{PV}-model
- Combinatorial conditions for directed collapsing
- Persistent homology of partially ordered spaces
- 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
- Configuration spaces and directed paths on the final precubical set
- 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)
