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
24
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