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.