مرکز منطقه ای اطلاع رساني علوم و فناوري - Local and global deadlock-detection in component-based systems are NP-hard

Title of article :

Local and global deadlock-detection in component-based systems are NP-hard

Author/Authors :

Christoph Minnameier، نويسنده ,

Issue Information :

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

Pages :

From page :

105

To page :

111

Keywords :

Safety/security in digital systems , Concurrency , computational complexity

Journal title :

Information Processing Letters

Serial Year :

2007

Journal title :

Information Processing Letters

Record number :

130459

Link To Document :