• Compositional reasoning for explicit resource management in channel-based concurrency

    Thumbnail Image

    Files

    1405.6100.pdf (483.39 KB)

    Date

    2014

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    Access

    openAccess

    Embargo end date

    Citation

    Francalanza A, Devries E, Hennessy M, Compositional reasoning for explicit resource management in channel-based concurrency, Logical Methods in Computer Science, 10, 2, 2014, 15

    Abstract

    Description

    PUBLISHED
    Export Date: 30 September 2016

    URI

    http://hdl.handle.net/2262/77510

    Collections

    Administrative Staff Authors (Scholarly Publications)

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Author's Homepage: http://people.tcd.ie/mcbhenne

    Author: HENNESSY, MATTHEW

    Type of material: Journal Article