• The Denotational Semantics of Slotted-Circus

    Thumbnail Image

    Files

    FM09-upload-MAIN.pdf (216.69 KB)

    Date

    2009

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    Springer

    Access

    Embargo end date

    Citation

    Andrew Butterfield, Pawel Gancarski, The Denotational Semantics of Slotted-Circus, Lecture Notes in Computer Science, Formal Methods 2009, Eindhoven, Netherlands, 2-6th Nov, Ana Cavalcanti and Dennis Dams, 5850, Springer, 2009, 451-466

    Abstract

    Description

    PUBLISHED
    Eindhoven, Netherlands

    URI

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

    Collections

    Computer Science (Scholarly Publications)
    RSS Feeds

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    denotational semantics, unifying theories, time-slots, concurrency theory

    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