Håkon Normann

Håkon Normann

Undervisningsassistent


Udgivelsesår:
Alle
  1. Udgivet

    A stable non-interleaving early operational semantics for the pi-calculus

    Hildebrandt, Thomas Troels, Johansen, C. & Normann, Håkon, 2019, I : Journal of Logical and Algebraic Methods in Programming. 104, s. 227-253 27 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

ID: 194793033