Title of article :
Process algebra and conditional composition
Author/Authors :
Jan A. Bergstra، نويسنده , , Alban Ponse، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2001
Keywords :
Five-valued logic , Process algebra , Conditional composition
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters