Protection in programming-language translations

This publication has 33 references indexed in Scilit:

• The SLam calculus
  Published by Association for Computing Machinery (ACM) ,1998
• Testing Equivalence for Mobile Processes
  Information and Computation, 1995
• Authentication and authenticated key exchanges
  Designs, Codes and Cryptography, 1992
• A simple approach to specifying concurrent systems
  Communications of the ACM, 1989
• Defining liveness
  Information Processing Letters, 1985
• Secure communication using remote procedure calls
  ACM Transactions on Computer Systems, 1985
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Hints for computer system design
  ACM SIGOPS Operating Systems Review, 1983
• A language extension for expressing constraints on data access
  Communications of the ACM, 1978
• Proof of correctness of data representations
  Acta Informatica, 1972