Håkon Normann
Assistant Lecturer
Department of Computer Science
Universitetsparken 5, 2100 København Ø
There is no presentation filled.
ID: 194793033
Most downloads
-
13
downloads
A stable non-interleaving early operational semantics for the pi-calculus
Research output: Contribution to journal › Journal article › Research › peer-review
Published