scientific article; zbMATH DE number 2051884
From MaRDI portal
Publication:4453908
zbMATH Open1059.55009MaRDI QIDQ4453908FDOQ4453908
Authors: Marco Grandis 
Publication date: 7 March 2004
Full work available at URL: http://www.numdam.org/item?id=CTGDC_2003__44_4_281_0
Title of this publication is not available (Why is that?)
Recommendations
Cites Work
- Homotopical algebra
- Title not available (Why is that?)
- Geometry and concurrency: a user's guide
- Homotopy invariants of higher dimensional categories and concurrency in computer science
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bitopological Spaces
- Metric spaces, generalized logic, and closed categories
- Higher dimensional automata revisited
- Title not available (Why is that?)
- On the algebra of cubes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Simplicial homotopy theory
- Higher fundamental functors for simplicial sets
- Title not available (Why is that?)
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Local compactness and Cartesian products of quotient maps and k-spaces
- ABSTRACT HOMOTOPY. II
- Cubical homotopical algebra and cochain algebras
- Title not available (Why is that?)
- Categorically algebraic foundations for homotopical algebra
Cited In (63)
- Left properness of flows
- Spaces of directed paths on pre-cubical sets II
- Directed homology
- Combinatorics of labelling in higher-dimensional automata
- A convenient category for directed homotopy
- A cubical model for path spaces in d-simplicial complexes
- Six model categories for directed homotopy
- Covering space theory for directed topology
- Unique decomposition of homogeneous languages and application to isothetic regions
- 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
- Deadlocks and dihomotopy in mutual exclusion models
- Exponentiable streams and prestreams
- Dijkgraaf-Witten type invariants of Seifert surfaces in 3-manifolds
- Classification of dicoverings
- The fundamental weighted category of a weighted space: From directed to weighted algebraic topology
- Components of the fundamental category
- Simplicial Models for Concurrency
- Inessential directed maps and directed homotopy equivalences
- A fibration category of local pospaces
- Modelling fundamental 2-categories for directed homotopy
- Title not available (Why is that?)
- Models and van Kampen theorems for directed homotopy theory
- Directed algebraic topology. Models of non-reversible worlds
- Simplicial models for trace spaces. II: General higher dimensional automata
- Future path-components in directed topology
- Homotopy theory of Moore flows. II
- Context for models of concurrency
- Homotopy path spaces for families of admissible paths
- Comparing topological models for concurrency
- Criteria for homotopic maps to be so along monotone homotopies
- Directed topological complexity of spheres
- Algebraic topology and concurrency
- Bicategories for TQFTs with defects with structure
- A framework for component categories
- Dipaths and dihomotopies in a cubical complex
- Cubical approximation for directed topology. I
- Relative directed homotopy theory of partially ordered spaces
- The directed homotopy hypothesis
- Ordinary and directed combinatorial homotopy, applied to image analysis and concurrency
- Invariants of directed spaces
- Lax 2-categories and directed homotopy
- Title not available (Why is that?)
- T-homotopy and refinement of observation. I: Introduction
- Pair component categories for directed spaces
- Stratified spaces, directed algebraic topology, and state-sum TQFTs
- Combinatorial conditions for directed collapsing
- Stable components of directed spaces
- Directed path spaces via discrete vector fields
- Spaces of directed paths on pre-cubical sets
- Quotient models of a category up to directed homotopy
- Enriched categories and models for spaces of evolving states
- Finite relational structure models of topological spaces and maps
- On execution spaces of PV-programs
- On the hierarchy of d-structures
- The geometry of conservative programs
- The homology digraph of a preordered space
- Non-existing and ill-behaved coequalizers of locally ordered spaces
- A Hurewicz model structure for directed topology
- Configuration spaces and directed paths on the final precubical set
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)
