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.

Chi tiết về thư mục
Xuất bản năm:Information processing letters. 61, 6 (1997).
Tác giả chính: Kumar, Devendra
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Distributed computing.
Concurrency.
Programming languages.
Program correctness.