مرکز منطقه ای اطلاع رساني علوم و فناوري - A note on an expressiveness hierarchy for multi-exit iteration

Title of article :

A note on an expressiveness hierarchy for multi-exit iteration

Author/Authors :

Luca Aceto، نويسنده , , Fokkink، Wan 1965- نويسنده , , Anna Ing?lfsd?ttir، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

concurrency , Basic Process Algebra (BPA) , Multi-exit iteration , Bisimulation , Expressiveness , Process algebra

Journal title :

Information Processing Letters

Serial Year :

2003

Journal title :

Information Processing Letters

Record number :

129735

Link To Document :