Reparametrizations with given stop data

zbMath1187.55007arXiv0902.2312MaRDI QIDQ847579

Martin Raussen

Publication date: 17 February 2010

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

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

zbMATH Keywords

tracepathconcurrencyreparametrizationd-spaceregular pathreparametrization equivalencestop map

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99)

Related Items (6)

A cubical model for path spaces in d-simplicial complexes ⋮ Simplicial models for trace spaces. II: General higher dimensional automata ⋮ Unnamed Item ⋮ Execution spaces for simple higher dimensional automata ⋮ Simplicial models of trace spaces ⋮ Trace spaces in a pre-cubical complex

This page was built for publication: Reparametrizations with given stop data