A linear account of session types in the pi calculus (Q3584947)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A linear account of session types in the pi calculus |
scientific article; zbMATH DE number 5776478
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A linear account of session types in the pi calculus |
scientific article; zbMATH DE number 5776478 |
Statements
A Linear Account of Session Types in the Pi Calculus (English)
0 references
31 August 2010
0 references
0.9166079759597778
0 references
0.8964964747428894
0 references
0.8625138401985168
0 references
0.8377141356468201
0 references
0.8334611058235168
0 references
