Uniqueness typing for resource management in message-passing concurrency

MaRDI QIDQ5150150zbMATH OpenFDO

Authors Edsko Devries, Adrian Francalanza, Matthew G. Hennessy

Publication date 9 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2009.3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Uniqueness typing for resource management in message-passing concurrency
• scientific article; zbMATH DE number 1104446
• Compositional reasoning for explicit resource management in channel-based concurrency
• Verification, Model Checking, and Abstract Interpretation
• Resource Usage Analysis for the Pi-Calculus

Cited in

(6)

• Exception handling for copyless messaging
• Uniqueness typing for resource management in message-passing concurrency
• Compositional reasoning for explicit resource management in channel-based concurrency
• scientific article; zbMATH DE number 2242583 (Why is no real title available?)
• Typing copyless message passing
• Linearity and uniqueness: an entente cordiale

This page was built for publication: Uniqueness typing for resource management in message-passing concurrency

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