مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Strong normalisation in the π-calculus

Author/Authors :

Nobuko Yoshida، نويسنده , , Martin Berger، نويسنده , , Kohei Honda، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2004

Pages :

From page :

145

To page :

202

Keywords :

Strongnormalisation , Type theory , concurrency theory , The -calculus

Journal title :

Information and Computation

Serial Year :

2004

Journal title :

Information and Computation

Record number :

333740

Link To Document :