A calculus for costed computations

DOI10.2168/LMCS-7(1:7)2011zbMath1213.68403arXiv1011.6308OpenAlexW2963689864MaRDI QIDQ3003308

Matthew C. B. 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

costbisimulationsresourcespi-calculusamortisation

Mathematics Subject Classification ID

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

Related Items (5)

Network Conscious π-calculus: A Concurrent Semantics ⋮ A calculus and logic of bunched resources and processes ⋮ A formal approach to open multiparty interactions ⋮ A network-conscious \(\pi\)-calculus and its coalgebraic semantics ⋮ Network-conscious \(\pi\)-calculus -- a model of Pastry

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