Typing Copyless Message Passing

DOI10.1007/978-3-642-19718-5_4zbMath1326.68079arXiv1202.2086OpenAlexW1863315251MaRDI QIDQ5892489

Chiara Messa, Viviana Bono, Luca Padovani

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of operating systems (68N25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Mixed Sessions ⋮ Deriving session and union types for objects ⋮ Session types without sophistry. System description ⋮ Mixed sessions ⋮ Polymorphic lambda calculus with context-free session types

Cites Work

• Subtyping for session types in the pi calculus
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Linear type theory for asynchronous session types
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Typing Copyless Message Passing