مرکز منطقه ای اطلاع رساني علوم و فناوري - A criterion to enforce correctness of indirectly cooperating applications

Title of article :

A criterion to enforce correctness of indirectly cooperating applications

Author/Authors :

G. Canals، نويسنده , , C. Godart، نويسنده , , P. Molli، نويسنده , , M. Munier، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

279

To page :

302

Keywords :

Cooperation , Concurrency control , Concurrent programming , Correctnesscriterion , Cooperative programming , Cooperative execution

Journal title :

Information Sciences

Serial Year :

1998

Journal title :

Information Sciences

Record number :

175873

Link To Document :