A calculus for costed computations

DOI10.2168/LMCS-7(1:7)2011zbMATH Open1213.68403arXiv1011.6308OpenAlexW2963689864MaRDI QIDQ3003308FDOQ3003308

Matthew Hennessy

Publication date: 26 May 2011

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

Abstract: We develop a version of the pi-calculus, picost, where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of owners; they must pay to use resources, but may profit by providing them. We provide a proof methodology for processes described in picost based on bisimulations. The underlying behavioural theory is justified via a contextual characterisation. We also demonstrate its usefulness via examples.

Full work available at URL: https://arxiv.org/abs/1011.6308

Recommendations

• Counting the cost in the picalculus (extended abstract)
• Compositional reasoning for explicit resource management in channel-based concurrency
• A resource analysis of the \(\pi\)-calculus
• scientific article; zbMATH DE number 2163049
• A calculus of mobile processes. I

zbMATH Keywords

bisimulationscostpi-calculusresourcesamortisation

Mathematics Subject Classification ID

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

Cited In (6)

• A formal approach to open multiparty interactions
• Network-conscious \(\pi\)-calculus -- a model of Pastry
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics
• \$-calculus of bounded rational agents: flexible optimization as search under bounded resources in interactive systems
• A calculus and logic of bunched resources and processes
• Network Conscious π-calculus: A Concurrent Semantics

This page was built for publication: A calculus for costed computations

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