Pages that link to "Item:Q1401953"
From MaRDI portal
The following pages link to Undecidability of domino games and hhp-bisimilarity. (Q1401953):
Displaying 12 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- The decidability border of hereditary history preserving bisimilarity (Q835053) (← links)
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Causality versus true-concurrency (Q2465026) (← links)
- A hierarchy of reverse bisimulations on stable configuration structures (Q2883121) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Q3313255) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
- A Logic for True Concurrency (Q5501929) (← links)
- Event Identifier Logic (Q5740354) (← links)