Resource Usage Analysis for the Pi-Calculus

DOI10.2168/LMCS-2(3:4)2006MaRDI QIDQ5310663zbMATH OpenOpenAlexFDO

Authors Naoki Kobayashi, Kohei Suenaga, Lucian Wischik

Publication date 11 October 2007

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-2(3:4)2006

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• A resource analysis of the \(\pi\)-calculus
• scientific article; zbMATH DE number 2163049
• Static determination of quantitative resource usage for higher-order programs
• Occurrence counting analysis for the pi-calculus
• scientific article; zbMATH DE number 1104446
• scientific article; zbMATH DE number 1985630
• Types for complexity of parallel computation in pi-calculus
• On the inference of resource usage upper and lower bounds
• scientific article; zbMATH DE number 7730636

Cited in

(13)

• Uniqueness typing for resource management in message-passing concurrency
• Verification, Model Checking, and Abstract Interpretation
• Work analysis with resource-aware session types
• \( \pi\) with leftovers: a mechanisation in Agda
• Resource usage analysis
• scientific article; zbMATH DE number 2163049 (Why is no real title available?)
• Types for resources in -calculi
• Uniqueness typing for resource management in message-passing concurrency
• A Calculus for Modeling Floating Authorizations
• A Type System for Usage of Software Components
• A resource analysis of the \(\pi\)-calculus
• A new type system for JVM lock primitives
• Compositional reasoning for explicit resource management in channel-based concurrency

This page was built for publication: Resource Usage Analysis for the Pi-Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310663)