The following pages link to (Q4415263):
Displaying 5 items.
- The decidability border of hereditary history preserving bisimilarity (Q835053) (← links)
- Undecidability of domino games and hhp-bisimilarity. (Q1401953) (← links)
- Hereditary History-Preserving Bisimilarity: Logics and Automata (Q2789065) (← links)
- Minimal transition systems for history-preserving bisimulation (Q5048942) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897488) (← links)