Pages that link to "Item:Q4507892"
From MaRDI portal
The following pages link to Higher dimensional automata revisited (Q4507892):
Displaying 13 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- ST-structures (Q338620) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems (Q2810964) (← links)
- (Q4453908) (← links)
- Unique decomposition of homogeneous languages and application to isothetic regions (Q4629267) (← links)
- The geometry of conservative programs (Q4961721) (← links)
- (Q4989400) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Streams, d-Spaces and Their Fundamental Categories (Q5179023) (← links)
- The Physical Meaning of the Holographic Principle (Q5876544) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)
- Cut-off theorems for the \textit{PV}-model (Q6108429) (← links)