Typing Copyless Message Passing

DOI10.2168/LMCS-8(1:17)2012zbMath1238.68095OpenAlexW2955123331MaRDI QIDQ5891509

Viviana Bono, Luca Padovani

Publication date: 3 April 2012

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

Full work available at URL: https://doi.org/10.2168/lmcs-8(1:17)2012

zbMATH Keywords

concurrencytype theorysubtypingsession typescopyless message passing

Mathematics Subject Classification ID

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

Related Items (9)

Mixed Sessions ⋮ Multiparty session types, beyond duality ⋮ A simple library implementation of binary sessions ⋮ Exception handling for copyless messaging ⋮ Nested session types ⋮ On the relative expressiveness of higher-order session processes ⋮ On the Relative Expressiveness of Higher-Order Session Processes ⋮ Mixed sessions ⋮ Polymorphic lambda calculus with context-free session types

This page was built for publication: Typing Copyless Message Passing