Spatial Congruence for Ambients Is Decidable

This publication has 9 references indexed in Scilit:

• Typed concurrent objects
  Published by Springer Nature ,2006
• Logical Properites of Name Restriction
  Published by Springer Nature ,2001
• Anytime, anywhere
  Published by Association for Computing Machinery (ACM) ,2000
• Spatial Congruence for Ambients Is Decidable
  Published by Springer Nature ,2000
• Multisets and structural congruence of the pi-calculus with replication
  Theoretical Computer Science, 1999
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Mobile ambients
  Published by Springer Nature ,1998
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Flowgraphs and Flow Algebras
  Journal of the ACM, 1979