Resource Usage Analysis for the π-Calculus

This publication has 17 references indexed in Scilit:

• Resource usage analysis
  ACM Transactions on Programming Languages and Systems, 2005
• A generic type system for the Pi-calculus
  Theoretical Computer Science, 2004
• SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
  Published by Springer Nature ,2004
• A Type System for Lock-Free Processes
  Information and Computation, 2002
• Flow-sensitive type qualifiers
  Published by Association for Computing Machinery (ACM) ,2002
• Types as models
  Published by Association for Computing Machinery (ACM) ,2002
• The S LAM project
  Published by Association for Computing Machinery (ACM) ,2002
• Enforcing high-level protocols in low-level software
  Published by Association for Computing Machinery (ACM) ,2001
• A partially deadlock-free typed process calculus
  ACM Transactions on Programming Languages and Systems, 1998
• Model Checking Mobile Processes
  Information and Computation, 1996