Publication
Publication
Logical Properties of Name Restriction
Publication
The Complexity of Model Checking Mobile Ambients
Publication
A percolation formula
Publication