T-homotopy and Refinement of Observation (I): Introduction

DOI10.1016/j.entcs.2009.02.019zbMath1339.55016arXivmath/0505152OpenAlexW2001420945MaRDI QIDQ2810959

Philippe Gaucher

Publication date: 6 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0505152

zbMATH Keywords

posethomotopyconcurrencymodel categorycofibrationdirected homotopyrefinement of observation

Mathematics Subject Classification ID

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 (3)

Topological abstraction of higher-dimensional automata ⋮ \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences ⋮ Weak morphisms of higher dimensional automata

Cites Work

• Topological deformation of higher dimensional automata
• Some geometric perspectives in concurrency theory
• A model category for the homotopy theory of concurrency
• Flow does not model flows up to weak dihomotopy
• Homotopical algebra
• Homological properties of non-deterministic branchings of mergings in higher dimensional automata
• Comparing globular complex and flow
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: T-homotopy and Refinement of Observation (I): Introduction