Generalising Projection in Asynchronous Multiparty Session Types. (Q6176120)
From MaRDI portal
scientific article; zbMATH DE number 7730637
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalising Projection in Asynchronous Multiparty Session Types. |
scientific article; zbMATH DE number 7730637 |
Statements
21 August 2023
0 references
multiparty session types
0 references
verification
0 references
communicating state machines
0 references
Generalising Projection in Asynchronous Multiparty Session Types. (English)
0 references
