Simplicial Models for Concurrency
From MaRDI portal
Publication:5179017
DOI10.1016/j.entcs.2012.05.002zbMath1347.68257arXiv1011.6599OpenAlexW2170819392WikidataQ113318126 ScholiaQ113318126MaRDI QIDQ5179017
Publication date: 18 March 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1011.6599
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Simplicial models for trace spaces. II: General higher dimensional automata ⋮ Unnamed Item ⋮ On execution spaces of PV-programs
Cites Work
- Unnamed Item
- Path categories and resolutions
- Rigidification of quasi-categories
- Simplicial models of trace spaces
- Models and van Kampen theorems for directed homotopy theory
- A convenient category of locally preordered spaces
- Components of the fundamental category
- Quasi-categories and Kan complexes
- Cubical approximation for directed topology. I
- A model category for local po-spaces
- Algebraic topology and concurrency
- A model category structure on the category of simplicial categories
This page was built for publication: Simplicial Models for Concurrency
