Pages that link to "Item:Q2253187"
From MaRDI portal
The following pages link to Rabin's theorem in the concurrency setting: a conjecture (Q2253187):
Displaying 4 items.
- A hyperbolic concurrency theorem (Q1385214) (← links)
- Medians in median graphs and their cube complexes in linear time (Q2119403) (← links)
- Distributed Asynchronous Games With Causal Memory are Undecidable (Q5043589) (← links)
- Kleene Theorems for Synchronous Products with Matching (Q5268457) (← links)