Parameterised Multiparty Session Types (Q5894960)
From MaRDI portal
scientific article; zbMATH DE number 6096742
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parameterised Multiparty Session Types |
scientific article; zbMATH DE number 6096742 |
Statements
Parameterised Multiparty Session Types (English)
0 references
22 October 2012
0 references
session types
0 references
dependent types
0 references
pi-calculus
0 references
Gödel's \(\mathcal T\)
0 references
parallel algorithms
0 references
FFT
0 references
web services
0 references
