Pages that link to "Item:Q859846"
From MaRDI portal
The following pages link to Erratum to ``On the expressiveness of higher dimensional automata'' (Q859846):
Displayed 14 items.
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Classification of dicoverings (Q1957141) (← links)
- Connectivity of spaces of directed paths in geometric models for concurrent computation (Q2096387) (← links)
- Homology of spaces of directed paths on Euclidean cubical complexes (Q2255529) (← links)
- Spaces of directed paths on pre-cubical sets II (Q2304017) (← links)
- Pair component categories for directed spaces (Q2304019) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- Homology of Spaces of Directed Paths in Euclidean Pattern Spaces (Q4604391) (← links)
- The geometry of conservative programs (Q4961721) (← links)
- (Q4989400) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Strictifying and taming directed paths in Higher Dimensional Automata (Q5156774) (← links)