• UTCP: compositional semantics for shared-variable concurrency

    Thumbnail Image

    Files

    UTCP-SBMF2017-MAIN.pdf (362.15 KB)

    Date

    2017

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    Springer

    Access

    openAccess

    Embargo end date

    Citation

    Andrew Butterfield, UTCP: compositional semantics for shared-variable concurrency, Lecture Notes in Computer Science, 20th Brazilian Symposium on Formal Methods (SBMF 2017), Recife, Brazil, 29 Nov - 1st Dec 201, LNCS, 10623, Springer, 2017, 253 - 270

    Abstract

    Description

    PUBLISHED
    Recife, Brazil

    URI

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

    Collections

    Computer Science (Scholarly Publications)
    RSS Feeds

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Sponsor: Science Foundation Ireland (SFI)

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

    Author: BUTTERFIELD, ANDREW

    Other Titles: Lecture Notes in Computer Science
    Publisher: Springer
    Type of material: Conference Paper