Håkon Normann

Håkon Normann

Assistant Lecturer

Publication year:
  1. 2019
  2. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

ID: 194793033