Pages that link to "Item:Q5705872"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705872):
Displaying 17 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- ST-structures (Q338620) (← links)
- The homology of partial monoid actions and Petri nets (Q395664) (← links)
- Geometric analysis of nondeterminacy in dynamical systems (Q868434) (← links)
- Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- On symmetric higher-dimensional automata and bisimilarity (Q2084943) (← links)
- Labeled homology of higher-dimensional automata (Q2324599) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- On the specification of higher dimensional automata (Q2841306) (← links)
- Higher dimensional automata revisited (Q4507892) (← links)
- (Q4654639) (← links)
- (Q4989400) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- Partial higher-dimensional automata (Q5275346) (← links)