Simplicial models of trace spaces
type: Item
instance of: scholarly article
title: Simplicial models of trace spaces
zbMATH Open document ID: 1198.55004
author: Martin Raussen
published in: Algebraic \& Geometric Topology
publication date: 2010-08-11T00:00:00Z
review text: Directed algebraic topology is a field of research between concurrency and algebraic topology involving the use of a space of states equipped with an additional structure modeling time. In this kind of model, there is always an underlying state space equipped with a set of privileged continuous paths playing the role of execution paths. In general, the reverse of an execution path is not an execution path. Calculating the homotopy type of the space of execution paths is the main problem in this theory. For example, calculating the fundamental category means calculating the path-connected components of this space [\textit{M. Grandis}, Directed algebraic topology. Models of non-reversible worlds. New Mathematical Monographs 13. Cambridge: Cambridge University Press. (2009; Zbl 1176.55001)]. In other approaches like the reviewer's approach of directed algebraic topology [\textit{P. Gaucher}, Homology Homotopy Appl. 5, No.~1, 549--599, electronic only (2003; Zbl 1069.55008), Theory Appl. Categ. 22, 588--621 (2009; Zbl 1191.55013)], the homotopy type of the space of execution paths also plays a fundamental role, e.g. in the definition of the weak equivalences of model category structures. In this paper, the author develops a systematic approach describing spaces of execution paths up to homotopy equivalence as finite prodsimplicial complexes [\textit{D. Kozlov}, Combinatorial algebraic topology. Algorithms and Computation in Mathematics 21. Berlin: Springer. (2008; Zbl 1130.55001)]. This approach makes feasible (at least for some class of models of computation) the calculations of some of their algebraic topological invariants. The author describes algorithms to determine not only the fundamental category of such a model space, but all homological invariants of spaces of execution paths within it.
reviewed by: Philippe Gaucher
Mathematics Subject Classification ID: 55P10
Mathematics Subject Classification ID: 55P15
Mathematics Subject Classification ID: 55U10
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5769281
zbMATH Keywords: d-path
zbMATH Keywords: d-space
zbMATH Keywords: prodsimplicial complex
zbMATH Keywords: poset category
zbMATH Keywords: homotopy equivalence
MaRDI profile type: Publication
full work available at URL: agt.2010.10.1683
OpenAlex ID: W2171084508
cites work: Colimit theorems for relative homotopy groups
cites work: On the algebra of cubes
cites work: Reparametrizations of continuous paths
cites work: Algebraic topology and concurrency
cites work: Components of the fundamental category
cites work: Infinitely running concurrent processes with loops from a geometric viewpoint
cites work: On the expressiveness of higher dimensional automata
cites work: Components of the fundamental category. II
cites work: Q3147648
cites work: Q4453908
cites work: Q3625520
cites work: Q4318989
cites work: Algebraic spans
cites work: Path categories and resolutions
cites work: Computational homology
cites work: Homology computation by reduction of chain complexes
cites work: Computing and Combinatorics
cites work: Combinatorial algebraic topology
cites work: Topological lower bounds for the chromatic number: a hierarchy
cites work: On Spaces Having the Homotopy Type of a CW-Complex
cites work: On the classification of dipaths in geometric models for concurrency
cites work: Deadlocks and dihomotopy in mutual exclusion models
cites work: Invariants of directed spaces
cites work: Reparametrizations with given stop data
cites work: Trace spaces in a pre-cubical complex
DOI: 10.2140/AGT.2010.10.1683
description: scientific article; zbMATH DE number 5769281