ITU
ITU
Håkon Normann

Håkon Normann

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (3)

  1. Published

    Independence, name-passing and constraints in models for concurrency

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

  2. Published

    Declarative event based models of concurrency and refinement in psi-calculi

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Published

    Concurrency Models with Causality and Events as Psi-calculi

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 79282877