A counter-example to an algorithm for the generalized input-output construct of CSP. - Kumar, Devendra
Keywords: Distributed computing; Concurrency; Programming languages; Program correctness