A calculus for costed computations

DOI10.2168/LMCS-7(1:7)2011MaRDI QIDQ3003308zbMATH OpenOpenAlexFDO

Authors Matthew Hennessy

Publication date 26 May 2011

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

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

zbMATH Keywords

bisimulationscostpi-calculusresourcesamortisation

Mathematics Subject Classification ID

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

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.

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

Cited in

(9)

• Counting the cost in the picalculus (extended abstract)
• A calculus and logic of bunched resources and processes
• A formal approach to open multiparty interactions
• Compositional reasoning for explicit resource management in channel-based concurrency
• Process algebra extended with price information
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics
• \$-calculus of bounded rational agents: flexible optimization as search under bounded resources in interactive systems
• Network-conscious \(\pi\)-calculus -- a model of Pastry
• 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)