A Proof System for Message Passing

  • Jan van Eijck (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period7 Mar 2011
    Event titleDagstuhl Seminar 29 Reasoning about Interaction
    Event typeOther
    LocationnbShow on map