Modelling session types using contracts (Q5741570)

From MaRDI portal
scientific article; zbMATH DE number 6607285
Language Label Description Also known as
English
Modelling session types using contracts
scientific article; zbMATH DE number 6607285

    Statements

    Identifiers