The following pages link to (Q4499199):
Displaying 5 items.
- The decidability border of hereditary history preserving bisimilarity (Q835053) (← links)
- Undecidability of domino games and hhp-bisimilarity. (Q1401953) (← links)
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)
