Fair subtyping for multi-party session types (Q5741567)
From MaRDI portal
scientific article; zbMATH DE number 6607283
Language | Label | Description | Also known as |
---|---|---|---|
English | Fair subtyping for multi-party session types |
scientific article; zbMATH DE number 6607283 |
Statements
Fair subtyping for multi-party session types (English)
0 references
28 July 2016
0 references