Non-deterministic games and program analysis: An application to security

This publication has 16 references indexed in Scilit:

• Believe it or not, AJM's games model is a model of classical linear logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Full Abstraction for PCF
  Information and Computation, 2000
• The SLam calculus
  Published by Association for Computing Machinery (ACM) ,1998
• A new approach to control flow analysis
  Published by Springer Nature ,1998
• Generalised flowcharts and games
  Published by Springer Nature ,1998
• Full abstraction for functional languages with control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1997
• Games and Definability For FPC
  Bulletin of Symbolic Logic, 1997
• A security flow control algorithm and its denotational semantics correctness proof
  Formal Aspects of Computing, 1992
• Algebraically complete categories
  Lecture Notes in Mathematics, 1991
• A lattice model of secure information flow
  Communications of the ACM, 1976