Logical Properites of Name Restriction

This publication has 13 references indexed in Scilit:

• A new approach to abstract syntax involving binders
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• π-calculus in (Co)inductive-type theory
  Theoretical Computer Science, 2001
• Secrecy and Group Creation
  Published by Springer Nature ,2000
• Anytime, anywhere
  Published by Association for Computing Machinery (ACM) ,2000
• Ambient Groups and Mobility Types
  Published by Springer Nature ,2000
• Spatial Congruence for Ambients Is Decidable
  Published by Springer Nature ,2000
• Secrecy by typing in security protocols
  Journal of the ACM, 1999
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Mobile ambients
  Published by Springer Nature ,1998
• Verifiable and executable logic specifications of concurrent objects in $$\mathcal{L}_\pi$$
  Published by Springer Nature ,1998