Homotopy invariants of higher dimensional categories and concurrency in computer science

DOI10.1017/S0960129500003182zbMath0956.68097arXivmath/9902151MaRDI QIDQ4507891

Philippe Gaucher

Publication date: 10 October 2000

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

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

zbMATH Keywords

globular homologyparallel automaton

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)

History-preserving bisimilarity for higher-dimensional automata via open maps ⋮ Higher fundamental groupoids for spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Automate parallèle à homotopie près. I. (Concurrent process up to homotopy. I) ⋮ Cubical $(\omega,p)$-categories ⋮ Combinatorics of labelling in higher-dimensional automata ⋮ On the expressiveness of higher dimensional automata ⋮ Unnamed Item ⋮ Algebraic topology and concurrency ⋮ On the Specification of Higher Dimensional Automata ⋮ Multiple categories: The equivalence of a globular and a cubical approach

This page was built for publication: Homotopy invariants of higher dimensional categories and concurrency in computer science