The following pages link to (Q4941914):
Displaying 11 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- The decidability border of hereditary history preserving bisimilarity (Q835053) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- Undecidability of domino games and hhp-bisimilarity. (Q1401953) (← links)
- Causality versus true-concurrency (Q2465026) (← links)
- Causal Trees, Finally (Q3460861) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- On logical and concurrent equivalences (Q4917082) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- A Logic for True Concurrency (Q5501929) (← links)
