On the classification of dipaths in geometric models for concurrency

DOI10.1017/S0960129500003145zbMath0961.68051MaRDI QIDQ4507889

Martin Raussen

Publication date: 10 October 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

dihomotopy classesdipaths in cubical complexes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (12)

Deadlocks and dihomotopy in mutual exclusion models ⋮ Cut-off theorems for the \textit{PV}-model ⋮ Towards Directed Collapsibility (Research) ⋮ The geometry and topology of reconfiguration ⋮ Homology of spaces of directed paths on Euclidean cubical complexes ⋮ Formal Relationships Between Geometrical and Classical Models for Concurrency ⋮ On the expressiveness of higher dimensional automata ⋮ Execution spaces for simple higher dimensional automata ⋮ Algebraic topology and concurrency ⋮ Simplicial models of trace spaces ⋮ On the Specification of Higher Dimensional Automata ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation

This page was built for publication: On the classification of dipaths in geometric models for concurrency