Modelling session types using contracts (Q5741570)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6607285
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modelling session types using contracts |
scientific article; zbMATH DE number 6607285 |
Statements
Modelling session types using contracts (English)
0 references
28 July 2016
0 references
0.820695698261261
0 references
0.8198106288909912
0 references
0.785577118396759
0 references
0.770203173160553
0 references
0.7513848543167114
0 references
