Logical Properties of Name Restriction

We extend the modal logic of ambients described in [7] 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.

• Type: Conference
• Year: 2001
• Where: TLCA
• Authors: Luca Cardelli, Andrew D. Gordon
• Keywords: Ambient Calculus, Modal Logic, Theoretical Computer Science, TLCA 2001