Publication
Finite-Control Mobile Ambients
Publication
Arbiter-Free Synchronization
Publication
Factoring as Optimization
Publication
Logical Properties of Name Restriction
Publication