Publication
Logical Properties of Name Restriction
Publication
The Complexity of Model Checking Mobile Ambients
Publication
A percolation formula
Publication
Region Analysis and a π-Calculus with Groups
Publication