Marco Peressotti

Marco Peressotti

Vis graf over relationer

  1. Udgivet

    Better Late Than Never: A Fully-abstract Semantics for Classical Processes

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  2. Udgivet
  3. Udgivet

    Communications in choreographies, revisited

    Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  4. Udgivet

    Loose Graph Simulations

    Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  5. Udgivet

    Behavioural equivalences for timed systems

    Publikation: Working paperForskning

Vis alle (17) »