Recursive equations in higher-order process calculi
Theoretical Computer Science
A Fully Abstract Model for Higher-Order Mobile Ambients
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
A filter model for mobile processes
Mathematical Structures in Computer Science
Hi-index | 0.00 |