Resource Usage Analysis for the pi-Calculus
No abstract available.
Related papers
- Local policies for resource usage analysis TOPLAS 2009
- Resource Usage Analysis APLAS 2001
- Resource usage analysis POPL 2002
- Resource usage analysis TOPLAS 2005
- Coeffects: a calculus of context-dependent computation ICFP 2014
- Multivariate amortized resource analysis POPL 2011
- Static determination of quantitative resource usage for higher-order programs POPL 2010
- Liquidate your assets: reasoning about resource usage in liquid Haskell POPL 2020