Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

DOI10.2168/LMCS-10(2:15)2014zbMath1335.68170arXiv1405.6100OpenAlexW2160931058MaRDI QIDQ5495108

Adrian Francalanza, Edsko Devries, Matthew C. B. Hennessy

Publication date: 31 July 2014

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

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

zbMATH Keywords

memory managementconcurrency\(\pi\)-calculuscoinductive reasoning

Mathematics Subject Classification ID

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

Related Items (2)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ ElixirST: a session-based type system for elixir modules

Uses Software

• GC
• Java Jr

This page was built for publication: Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency