scientific article; zbMATH DE number 2051884
From MaRDI portal
Publication:4453908
zbMath1059.55009MaRDI QIDQ4453908
Publication date: 7 March 2004
Full work available at URL: http://www.numdam.org/item?id=CTGDC_2003__44_4_281_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (45)
Future Path-components in Directed Topology ⋮ Deadlocks and dihomotopy in mutual exclusion models ⋮ Bicategories for TQFTs with defects with structure ⋮ Configuration spaces and directed paths on the final precubical set ⋮ Six model categories for directed homotopy ⋮ Left properness of flows ⋮ A Hurewicz Model Structure for Directed Topology ⋮ Homotopy path spaces for families of admissible paths ⋮ Stratified spaces, directed algebraic topology, and state-sum TQFTs ⋮ A cubical model for path spaces in d-simplicial complexes ⋮ Stable components of directed spaces ⋮ Simplicial models for trace spaces. II: General higher dimensional automata ⋮ Classification of dicoverings ⋮ Unique decomposition of homogeneous languages and application to isothetic regions ⋮ Directed path spaces via discrete vector fields ⋮ Finite relational structure models of topological spaces and maps ⋮ Enriched categories and models for spaces of evolving states ⋮ Spaces of directed paths on pre-cubical sets ⋮ Unnamed Item ⋮ On the hierarchy of d-structures ⋮ Combinatorics of labelling in higher-dimensional automata ⋮ Homology of spaces of directed paths on Euclidean cubical complexes ⋮ Simplicial Models for Concurrency ⋮ Streams, d-Spaces and Their Fundamental Categories ⋮ Exponentiable streams and prestreams ⋮ Algebraic topology and concurrency ⋮ Simplicial models of trace spaces ⋮ On execution spaces of PV-programs ⋮ The geometry of conservative programs ⋮ Context for Models of Concurrency ⋮ A Framework for Component Categories ⋮ Comparing Topological Models for Concurrency ⋮ A Fibration Category of Local Pospaces ⋮ Criteria for Homotopic Maps to be So Along Monotone Homotopies ⋮ Directed topological complexity of spheres ⋮ Spaces of directed paths on pre-cubical sets II ⋮ Pair component categories for directed spaces ⋮ Trace spaces in a pre-cubical complex ⋮ Homotopy theory of Moore flows (II) ⋮ A convenient category of locally preordered spaces ⋮ Combinatorial conditions for directed collapsing ⋮ Inessential directed maps and directed homotopy equivalences ⋮ Dipaths and dihomotopies in a cubical complex ⋮ Cubical approximation for directed topology. I ⋮ Dijkgraaf–Witten type invariants of Seifert surfaces in 3-manifolds
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cubical homotopical algebra and cochain algebras
- On the algebra of cubes
- Categorically algebraic foundations for homotopical algebra
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Homotopical algebra
- Local compactness and Cartesian products of quotient maps and k-spaces
- ABSTRACT HOMOTOPY. II
- Bitopological Spaces
- Metric spaces, generalized logic, and closed categories
- Geometry and concurrency: a user's guide
- Homotopy invariants of higher dimensional categories and concurrency in computer science
- Higher dimensional automata revisited
- Simplicial homotopy theory
This page was built for publication:
