Comparing Topological Models for Concurrency

DOI10.1016/j.entcs.2009.02.020zbMath1339.68186OpenAlexW2047172946MaRDI QIDQ2810960

E. Haucourt

Publication date: 6 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.020

zbMATH Keywords

directed pathsdirected homotopyfundamental categorymodels for concurrencytopologically concrete category

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Topological categories, foundations of homotopy theory (55U40)

Related Items (3)

Ordered locales ⋮ Streams, d-Spaces and Their Fundamental Categories ⋮ Exponentiable streams and prestreams

Cites Work

• Some geometric perspectives in concurrency theory
• Components of the fundamental category
• A model category for the homotopy theory of concurrency
• Algebraic topology and concurrency
• Loops, ditopology and deadlocks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Comparing Topological Models for Concurrency