\(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences
From MaRDI portal
Publication:925393
DOI10.1155/2007/87404zbMath1149.55009arXivmath/0505328OpenAlexW2087864003MaRDI QIDQ925393
Publication date: 3 June 2008
Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0505328
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Abstract and axiomatic homotopy theory in algebraic topology (55U35)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Many homotopy categories are homotopy categories
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
- T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
- Topological deformation of higher dimensional automata
- Topological hypercovers and \(\mathbb{A}^1\)-realizations
- A model category for the homotopy theory of concurrency
- Homotopical algebra
- The homotopy category is a homotopy category
- Homological properties of non-deterministic branchings of mergings in higher dimensional automata
- Comparing globular complex and flow
- T-homotopy and Refinement of Observation (I): Introduction
- Note on Cofibrations.
- Note on Cofibrations II.
This page was built for publication: \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences