Streams, d-Spaces and Their Fundamental Categories

DOI10.1016/j.entcs.2012.05.008zbMath1347.68266OpenAlexW2008230746WikidataQ113318119 ScholiaQ113318119MaRDI QIDQ5179023

E. Haucourt

Publication date: 18 March 2015

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

zbMATH Keywords

stream\(d\)-spacefundamental categorydirected algebraic topologydirected geometric realisation

Mathematics Subject Classification ID

Related Items (3)

Saturating directed spaces ⋮ Exponentiable streams and prestreams ⋮ The geometry of conservative programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebras of finite differential order and the operational calculus
• A convenient category of locally preordered spaces
• Extensions of complexes of groups
• Cubical approximation for directed topology. I
• Algebraic topology and concurrency
• Comparing Topological Models for Concurrency
• The geometry of semaphore programs
• Higher dimensional automata revisited
• Continuous images of arcs and inverse limit methods
• Ordered Topological Spaces
• Simplicial homotopy theory

This page was built for publication: Streams, d-Spaces and Their Fundamental Categories