مرکز منطقه ای اطلاع رساني علوم و فناوري - The decidability border of hereditary history preserving bisimilarity

Title of article :

The decidability border of hereditary history preserving bisimilarity

Author/Authors :

S.B. Fr?schle، نويسنده ,

Issue Information :

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

Pages :

From page :

289

To page :

293

Keywords :

concurrency , True-concurrency , Bisimulation games , Infinite-space verification

Journal title :

Information Processing Letters

Serial Year :

2005

Journal title :

Information Processing Letters

Record number :

130047

Link To Document :