Context-free session types for applied pi-calculus

MaRDI QIDQ3384912zbMATH OpenFDO

Authors Jens Aagaard, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1808.08648, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2018.3

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Context-free session types
• Binary session types for psi-calculi
• Linearity, session types and the pi calculus
• Subtyping for session types in the pi calculus
• Session types revisited

Cites work

• Binary session types for psi-calculi
• Context-free session types
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 4119652 (Why is no real title available?)
• scientific article; zbMATH DE number 6131659 (Why is no real title available?)
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Reactive Systems
• The Applied Pi Calculus

Cited in

(5)

• Polymorphic lambda calculus with context-free session types
• Session coalgebras: a coalgebraic view on session types and communication protocols
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• Algorithmic type checking for a pi-calculus with name matching and session types
• System \(F^\mu_\omega\) with context-free session types

This page was built for publication: Context-free session types for applied pi-calculus

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