Logical Properties of Name Restriction
- Luca Cardelli ,
- Andy Gordon
5th International Conference, TLCA Kraków, Poland, May 2-5, 2001 |
Published by Springer Berlin Heidelberg
We extend the modal logic of ambients to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions about restricted names, and we study their properties.