مرکز منطقه ای اطلاع رساني علوم و فناوري - A minimal property for characterizing deadlock-free programs

Title of article :

A minimal property for characterizing deadlock-free programs

Author/Authors :

Vicent Cholvi، نويسنده , , Pablo Boronat، نويسنده ,

Issue Information :

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

Pages :

From page :

283

To page :

290

Keywords :

Theory of computation , Concurrency , Static analysis , Distributed computing , Program properties , Deadlocks

Journal title :

Information Processing Letters

Serial Year :

2001

Journal title :

Information Processing Letters

Record number :

129342

Link To Document :