مرکز منطقه ای اطلاع رساني علوم و فناوري - A counter-example to an algorithm for the generalized input-output construct of CSP

Title of article :

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

Author/Authors :

Devendra Kumar، نويسنده , , Abraham Silberschatz، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1997

Pages :

From page :

287

To page :

287

Keywords :

distributed computing , Concurrency , Programnnng languages , Program correctness

Journal title :

Information Processing Letters

Serial Year :

1997

Journal title :

Information Processing Letters

Record number :

128650

Link To Document :