A Sound Algorithm for Asynchronous Session Subtyping (Q5875400)

From MaRDI portal
scientific article; zbMATH DE number 7649946
Language Label Description Also known as
English
A Sound Algorithm for Asynchronous Session Subtyping
scientific article; zbMATH DE number 7649946

    Statements

    0 references
    0 references
    0 references
    0 references
    0 references
    3 February 2023
    0 references
    session types
    0 references
    concurrency
    0 references
    subtyping
    0 references
    algorithm
    0 references
    A Sound Algorithm for Asynchronous Session Subtyping (English)
    0 references

    Identifiers