A Fibration Category of Local Pospaces

DOI10.1016/j.entcs.2009.02.021zbMath1339.18007OpenAlexW2086331822MaRDI QIDQ2810961

Thomas Kahl

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.021

zbMATH Keywords

concurrencymodel categoryfibration categorydihomotopylocal pospaces

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Fibered categories (18D30) Homotopy theory (55P99)

Related Items (1)

The geometry of conservative programs

Cites Work

• Unnamed Item
• Unnamed Item
• Topological deformation of higher dimensional automata
• Some geometric perspectives in concurrency theory
• A model category for the homotopy theory of concurrency
• Relative directed homotopy theory of partially ordered spaces
• A model category for local po-spaces
• Algebraic topology and concurrency
• Homotopical algebra

This page was built for publication: A Fibration Category of Local Pospaces