Publication
Using Abstraction To Improve Fault Tolerance
Publication
Logical Properties of Name Restriction
Publication
A Query Language Based on the Ambient Logic
Publication
Composing High-Performance Memory Allocators
Publication