مرکز منطقه ای اطلاع رساني علوم و فناوري - Boundedness undecidability for synchronized nets

Title of article :

Boundedness undecidability for synchronized nets

Author/Authors :

Raymond Devillers، نويسنده , , Laurent Van Begin، نويسنده ,

Issue Information :

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

Pages :

From page :

208

To page :

214

Keywords :

Decidability , Synchronized nets , Concurrency , boundedness

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130298

Link To Document :