T-homotopy and refinement of observation (I) : Introduction

Abstract

This paper is the extended introduction of a serie of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other construction in dihomotopy theory is explained.

Introductory paper for a series of papers about refinement of observation modelling T-homotopy ; 5 figures ; 9 pages ; to appear in ENTCS

References in corpus (4)

• A model category for the homotopy theory of concurrency
• Topological Deformation of Higher Dimensional Automata
• Homological properties of non-deterministic branchings and mergings in higher dimensional automata
• Flow does not model flows up to weak dihomotopy

Cited by in corpus (3)

• T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type
• Inverting weak dihomotopy equivalence using homotopy continuous flow
• T-homotopy and refinement of observation (II) : Adding new T-homotopy equivalences