Håkon Normann

Håkon Normann

Undervisningsassistent


Udgivelsesår:
Alle
1 - 1 ud af 1Pr. side: 10
Sortering: Titel
  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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

ID: 194793033