Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus |
scientific article |
Statements
Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (English)
0 references
4 May 2015
0 references
session types
0 references
higher-order \(\pi\)-calculus
0 references
asynchronous subtyping
0 references
communication optimisation
0 references
code mobility
0 references
linear typing
0 references
0 references