• From Applicative to Environmental Bisimulation

    Thumbnail Image

    Files

    applicative-mfps11.pdf (369.25 KB)

    Date

    2011

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    Elsevier

    Access

    OpenAccess

    Embargo end date

    Citation

    Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii, From Applicative to Environmental Bisimulation, Electronic Notes in Theoretical Computer Science, Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII), Pittsburg, PA, USA, 2011, Michael Mislove, Jo?l Ouaknine, 276, Elsevier, 2011, 215 - 235

    Abstract

    Description

    PUBLISHED
    Pittsburg, PA, USA

    URI

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

    Collections

    Computer Science (Scholarly Publications)
    RSS Feeds

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Programming Languages

    Sponsor: Science Foundation Ireland (SFI)
    Grant Number: SFI 06 IN.1 1898

    Sponsor: Engineering and Physical Sciences Research Council (EPSRC)
    Grant Number: Advanced Research Fellowship EP/E056091/

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

    Author: KOUTAVAS, VASILEIOS

    Other Titles: Electronic Notes in Theoretical Computer Science
    Publisher: Elsevier
    Type of material: Conference Paper