Extraction of concurrent processes from higher dimensional automata

DOI10.1007/3-540-61064-2_30OpenAlexW1513488456MaRDI QIDQ5878902

Yukihide Takayama

Publication date: 23 February 2023

Published in: Trees in Algebra and Programming — CAAP '96 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61064-2_30

zbMATH Keywords

process algebrahigher-dimensional automatageometric topology

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Simplicial sets and complexes in algebraic topology (55U10)

Related Items (2)

On the expressiveness of higher dimensional automata ⋮ Algebraic topology and concurrency

Cites Work

• Church-Rooser property and homology of monoids
• Unnamed Item

This page was built for publication: Extraction of concurrent processes from higher dimensional automata