Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types

DOI10.2168/LMCS-11(4:13)2015zbMath1448.68348arXiv1510.01752OpenAlexW3103563511MaRDI QIDQ3460415

Luca Padovani

Publication date: 7 January 2016

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

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

zbMATH Keywords

type reconstructioncomposite regular typeslinear pi-calculusshared access to data structures with linear values

Mathematics Subject Classification ID

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

Related Items (4)

Session types revisited ⋮ Event structure semantics for multiparty sessions ⋮ Type-Based Analysis for Session Inference (Extended Abstract) ⋮ Reversible sessions with flexible choices

This page was built for publication: Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types