Title of article
Kleeneʹs three-valued logic and process algebra
Author/Authors
Jan A. Bergstra، نويسنده , , Alban Ponse، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1998
Pages
9
From page
95
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