• UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models

    Thumbnail Image

    Files

    TASE2016-MAIN.pdf (227.37 KB)

    Date

    2016

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    IEEE Computer Society

    Access

    openAccess

    Embargo end date

    Citation

    Andrew Butterfield, Anila Mjeda, John Noll, UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models, 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, 17-19 July 2016, Marcello Bonsangue, Yuxing Deng, IEEE Computer Society, 2016, 93 - 100

    Abstract

    Description

    PUBLISHED
    Shanghai, China

    URI

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

    Collections

    Computer Science (Scholarly Publications)
    Load more

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Sponsor: Science Foundation Ireland (SFI)
    Grant Number: 10/CE/11855

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

    Author: BUTTERFIELD, ANDREW

    Other Titles: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
    Publisher: IEEE Computer Society
    Type of material: Conference Paper