Context for Models of Concurrency

DOI10.1016/j.entcs.2009.02.014zbMath1338.68201arXivmath/0608733OpenAlexW2058309172MaRDI QIDQ2810953

Peter Bubenik

Publication date: 6 June 2016

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

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

zbMATH Keywords

contextmodel categorypushoutdirected homotopyfundamental categorymodels for concurrencypospace

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A Hurewicz Model Structure for Directed Topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dicovering spaces
• Some geometric perspectives in concurrency theory
• State spaces and dipaths up to dihomotopy
• Components of the fundamental category
• A model category for the homotopy theory of concurrency
• Algebraic topology and concurrency
• Universal homotopy theories

This page was built for publication: Context for Models of Concurrency