Comparing topological models for concurrency

DOI10.1016/J.ENTCS.2009.02.020MaRDI QIDQ2810960zbMATH OpenOpenAlexFDO

Authors Emmanuel 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 homotopydirected pathsfundamental categorymodels for concurrencytopologically concrete category

Mathematics Subject Classification ID

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

Recommendations

• Components of the fundamental category. II
• A model category for local po-spaces
• Components of the fundamental category
• Invariants of directed spaces
• Models and van Kampen theorems for directed homotopy theory

Cites work

• A model category for the homotopy theory of concurrency
• Algebraic topology and concurrency
• Components of the fundamental category
• scientific article; zbMATH DE number 1803729 (Why is no real title available?)
• scientific article; zbMATH DE number 194040 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• scientific article; zbMATH DE number 1478715 (Why is no real title available?)
• scientific article; zbMATH DE number 3213310 (Why is no real title available?)
• scientific article; zbMATH DE number 3358760 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Loops, ditopology and deadlocks
• Some geometric perspectives in concurrency theory

Cited in

(9)

• Exponentiable streams and prestreams
• Components of the fundamental category. II
• Directed algebraic topology, categories and higher categories
• A model category for local po-spaces
• Context for models of concurrency
• A case for po-manifolds -- in chase after a good topological model for concurrency
• Simplicial Models for Concurrency
• Streams, \(d\)-spaces and their fundamental categories
• Ordered locales

This page was built for publication: Comparing topological models for concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2810960)