مرکز منطقه ای اطلاع رساني علوم و فناوري - Kleeneʹs three-valued logic and process algebra

Title of article :

Kleeneʹs three-valued logic and process algebra

Author/Authors :

Jan A. Bergstra، نويسنده , , Alban Ponse، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

103

Keywords :

Design of algorithms , formal languages , Concurrency , Process algebra , Guarded command , Three-valued logic

Journal title :

Information Processing Letters

Serial Year :

1998

Journal title :

Information Processing Letters

Record number :

128924

Link To Document :