• Title of article

    Process algebra and conditional composition

  • Author/Authors

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

  • Issue Information
    دوهفته نامه با شماره پیاپی سال 2001
  • Pages
    9
  • From page
    41
  • To page
    49
  • Keywords
    Five-valued logic , Process algebra , Conditional composition
  • Journal title
    Information Processing Letters
  • Serial Year
    2001
  • Journal title
    Information Processing Letters
  • Record number

    129394