Rabin's theorem in the concurrency setting: a conjecture

From MaRDI portal
Publication:2253187