Pages that link to "Item:Q2491631"
From MaRDI portal
The following pages link to On the expressiveness of higher dimensional automata (Q2491631):
Displaying 24 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- ST-structures (Q338620) (← links)
- Some collapsing operations for 2-dimensional precubical sets (Q691262) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Geometric analysis of nondeterminacy in dynamical systems (Q868434) (← links)
- Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
- Simplicial models of trace spaces (Q986682) (← links)
- On symmetric higher-dimensional automata and bisimilarity (Q2084943) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- Protocol scheduling (Q2145259) (← links)
- Labeled homology of higher-dimensional automata (Q2324599) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- Algebraic topology and concurrency (Q2500494) (← links)
- Dipaths and dihomotopies in a cubical complex (Q2573655) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- (Q4989400) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- (Q5232910) (← links)
