Control flow analysis for the π-calculus

This publication has 17 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Comparing two information flow security properties
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Systematic realisation of control flow analyses for CML
  Published by Association for Computing Machinery (ACM) ,1997
• An asynchronous model of locality, failure, and process mobility
  Published by Springer Nature ,1997
• Coordinating mobile agents via blackboards and access rights
  Published by Springer Nature ,1997
• Implicit typing à la ML for the join-calculus
  Published by Springer Nature ,1997
• The Compositional Security Checker: a tool for the verification of information flow security properties
  IEEE Transactions on Software Engineering, 1997
• Secrecy by typing in security protocols
  Published by Springer Nature ,1997
• Properties of data flow frameworks
  Acta Informatica, 1990
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982