H. Riis Nielson

• F. Nielson and H. Riis Nielson. Operational Semantics of Termination Types. Nordic Journal of Computing, 3(2):144-187, Summer 1996. Abstract, References, etc.

• Hanne Riis Nielson and Flemming Nielson. Shape Analysis for Mobile Ambients. Nordic Journal of Computing, 8(2):233-275, Summer 2001. Abstract, References, etc.

Shortcuts: