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

    Identifiers