A counter-example to an algorithm for the generalized input-output construct of CSP.

Bibliographic Details
Published in:	Information processing letters. 61, 6 (1997).
Main Author:	Kumar, Devendra
Format:	Article
Language:	English
Subjects:	Distributed computing. Concurrency. Programming languages. Program correctness.