scientific article

zbMath0976.68069MaRDI QIDQ2703724

Philippe Gaucher

Publication date: 7 May 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

higher dimensional automatastrict globular omega-categories

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items

On the expressiveness of higher dimensional automata, Unnamed Item, Algebraic topology and concurrency, T-homotopy and Refinement of Observation (I): Introduction, On the Specification of Higher Dimensional Automata

Cites Work

• The combinatorics of n-categorical pasting
• The algebra of oriented simplexes
• On the algebra of cubes
• Multiple categories: The equivalence of a globular and a cubical approach
• Algebraic topology and concurrency
• Higher algebraic K-theory: I
• Simplicial methods and the interpretation of “triple” cohomology
• Homotopy invariants of higher dimensional categories and concurrency in computer science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item