Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903)
From MaRDI portal
scientific article; zbMATH DE number 5215755
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Asynchronous Session Types and Progress for Object Oriented Languages |
scientific article; zbMATH DE number 5215755 |
Statements
Asynchronous Session Types and Progress for Object Oriented Languages (English)
0 references
28 November 2007
0 references
