Pages that link to "Item:Q5899076"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899076):
Displaying 6 items.
- Bisimilarity is not finitely based over BPA with interrupt (Q860878) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909) (← links)
- Foundations of Software Science and Computation Structures (Q5308450) (← links)
- Automata, Languages and Programming (Q5716825) (← links)
- On Finite Alphabets and Infinite Bases III: Simulation (Q5756593) (← links)