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

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

מידע ביבליוגרפי
הוצא לאור ב:Information processing letters. 61, 6 (1997).
מחבר ראשי: Kumar, Devendra
פורמט: Article
שפה:English
נושאים:
Distributed computing.
Concurrency.
Programming languages.
Program correctness.