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

Detalles Bibliográficos
Publicado en:	Information processing letters. 61, 6 (1997).
Autor principal:	Kumar, Devendra
Formato:	Artículo
Lenguaje:	inglés
Materias:	Distributed computing. Concurrency. Programming languages. Program correctness.