Towards Directed Collapsibility (Research)

DOI10.1007/978-3-030-42687-3_17zbMath1440.55013arXiv1902.01039OpenAlexW3043660646MaRDI QIDQ5118676

No author found.

Publication date: 26 August 2020

Published in: Advances in Mathematical Sciences (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General topology of complexes (57Q05) Homotopy equivalences in algebraic topology (55P10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion, etc. (57Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A Hurewicz Model Structure for Directed Topology ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation

Cites Work

• Strong homotopy types, nerves and collapses
• A user's guide to discrete Morse theory
• Homology of spaces of directed paths on Euclidean cubical complexes
• Algebraic topology and concurrency
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Dipaths and dihomotopies in a cubical complex
• Communicating sequential processes
• On the classification of dipaths in geometric models for concurrency
• On execution spaces of PV-programs

This page was built for publication: Towards Directed Collapsibility (Research)