• Uniqueness Typing for Resource Management in Message-Passing Concurrency.

    Simple item page

    Files

    Original bundle

    Now showing 1 - 1 of 1
    Thumbnail Image
    Name:
    logcom.exs022.full.pdf
    Size:
    837.75 KB
    Format:
    Adobe Portable Document Format
    Description:
    Published (publisher's copy) - Peer Reviewed
    Download

    License bundle

    Now showing 1 - 1 of 1
    Thumbnail Image
    Name:
    license.txt
    Size:
    3.24 KB
    Format:
    Item-specific license agreed upon to submission
    Description:
    Download

    Collections

    Administrative Staff Authors (Scholarly Publications)