scientific article; zbMATH DE number 2051884
From MaRDI portal
Publication:4453908
Recommendations
Cites work
- ABSTRACT HOMOTOPY. II
- Bitopological Spaces
- Categorically algebraic foundations for homotopical algebra
- Cubical homotopical algebra and cochain algebras
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Geometry and concurrency: a user's guide
- Higher dimensional automata revisited
- Higher fundamental functors for simplicial sets
- Homotopical algebra
- Homotopy invariants of higher dimensional categories and concurrency in computer science
- scientific article; zbMATH DE number 1803729 (Why is no real title available?)
- scientific article; zbMATH DE number 193912 (Why is no real title available?)
- scientific article; zbMATH DE number 3631581 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 825864 (Why is no real title available?)
- scientific article; zbMATH DE number 3225887 (Why is no real title available?)
- scientific article; zbMATH DE number 3264757 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Local compactness and Cartesian products of quotient maps and k-spaces
- Metric spaces, generalized logic, and closed categories
- On the algebra of cubes
- Simplicial homotopy theory
Cited in
(69)- Models and van Kampen theorems for directed homotopy theory
- Trace spaces in a pre-cubical complex
- A convenient category of locally preordered spaces
- Ordinary and directed combinatorial homotopy, applied to image analysis and concurrency
- Components of the fundamental category
- Classification of dicoverings
- Exponentiable streams and prestreams
- Combinatorial conditions for directed collapsing
- Homology of spaces of directed paths on Euclidean cubical complexes
- Directed topological complexity of spheres
- Spaces of directed paths on pre-cubical sets II
- Pair component categories for directed spaces
- Cubical approximation for directed topology. I
- Relative directed homotopy theory of partially ordered spaces
- Homotopy path spaces for families of admissible paths
- Stable components of directed spaces
- Invariants of directed spaces
- Algebraic topology and concurrency
- Dipaths and dihomotopies in a cubical complex
- Modelling fundamental 2-categories for directed homotopy
- Context for models of concurrency
- A framework for component categories
- T-homotopy and refinement of observation. I: Introduction
- Comparing topological models for concurrency
- A fibration category of local pospaces
- Criteria for homotopic maps to be so along monotone homotopies
- Directed homology
- scientific article; zbMATH DE number 1803729 (Why is no real title available?)
- Future path-components in directed topology
- Homotopy theory of Moore flows. II
- Quotient models of a category up to directed homotopy
- Lax 2-categories and directed homotopy
- Directed algebraic topology. Models of non-reversible worlds
- Covering space theory for directed topology
- A cubical model for path spaces in d-simplicial complexes
- Simplicial models for trace spaces. II: General higher dimensional automata
- Unique decomposition of homogeneous languages and application to isothetic regions
- The geometry of conservative programs
- Left properness of flows
- A Hurewicz model structure for directed topology
- Inessential directed maps and directed homotopy equivalences
- Bicategories for TQFTs with defects with structure
- Configuration spaces and directed paths on the final precubical set
- Six model categories for directed homotopy
- Stratified spaces, directed algebraic topology, and state-sum TQFTs
- Simplicial Models for Concurrency
- Streams, \(d\)-spaces and their fundamental categories
- On the hierarchy of d-structures
- Dijkgraaf-Witten type invariants of Seifert surfaces in 3-manifolds
- The directed homotopy hypothesis
- A convenient category for directed homotopy
- scientific article; zbMATH DE number 2218901 (Why is no real title available?)
- On execution spaces of PV-programs
- The topology of critical processes. I: Processes and models
- The homology digraph of a preordered space
- Non-existing and ill-behaved coequalizers of locally ordered spaces
- The topology of critical processes. III: Computing homotopy
- Directed path spaces via discrete vector fields
- Spaces of directed paths on pre-cubical sets
- Globular subdivisions are dihomotopy equivalences
- The directed Van Kampen theorem in Lean
- Cubical approximation for directed topology. II
- Directed topological complexity of poset-stratified spaces
- Deadlocks and dihomotopy in mutual exclusion models
- The fundamental weighted category of a weighted space: From directed to weighted algebraic topology
- Finite relational structure models of topological spaces and maps
- Enriched categories and models for spaces of evolving states
- Combinatorics of labelling in higher-dimensional automata
- Simplicial models of trace spaces
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4453908)
