Håkon Normann
Industrial postdoc
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
There is no presentation filled.
ID: 194793033
Most downloads
-
78
downloads
A stable non-interleaving early operational semantics for the pi-calculus
Research output: Contribution to journal › Journal article › Research › peer-review
Published