مرکز منطقه ای اطلاع رساني علوم و فناوري - On finite representations of infinite-state behaviours

Title of article :

On finite representations of infinite-state behaviours

Author/Authors :

Anton?n Ku era، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

concurrency , Behavioral equivalences , Infinite-state systems , Regularity

Journal title :

Information Processing Letters

Serial Year :

1999

Journal title :

Information Processing Letters

Record number :

129062

Link To Document :