Pages that link to "Item:Q5705872"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705872):
Displaying 10 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← 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)
- (Q4989400) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
