Fair refinement for asynchronous session types (Q2233400)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fair refinement for asynchronous session types
scientific article

    Statements

    Fair refinement for asynchronous session types (English)
    0 references
    0 references
    0 references
    0 references
    18 October 2021
    0 references
    session types
    0 references
    asynchronous communication
    0 references
    subtyping
    0 references

    Identifiers