Time-reversal homotopical properties of concurrent systems

DOI10.4310/HHA.2020.v22.n2.a2zbMath1440.18009arXiv1812.05062MaRDI QIDQ2183474

Philippe Malbos, Cameron Calk, Eric Goubault

Publication date: 27 May 2020

Published in: Homology, Homotopy and Applications (Search for Journal in Brave)

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

zbMATH Keywords

concurrent systemstime-reversibilitydirected spacesnatural homology and natural homotopy

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applied homological algebra and category theory in algebraic topology (55U99) Structured objects in a category (group objects, etc.) (18C40)

Related Items (1)

Pair component categories for directed spaces

This page was built for publication: Time-reversal homotopical properties of concurrent systems