• Title of article

    Types and full abstraction for polyadic π-calculus

  • Author/Authors

    Paola Quaglia، نويسنده , , David Walker، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2005
  • Pages
    32
  • From page
    215
  • To page
    246
  • Journal title
    Information and Computation
  • Serial Year
    2005
  • Journal title
    Information and Computation
  • Record number

    262299