Certifying data in multiparty session types (Q2360653)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certifying data in multiparty session types |
scientific article |
Statements
Certifying data in multiparty session types (English)
0 references
4 July 2017
0 references
session types
0 references
multiparty session types
0 references
value-dependent types
0 references
