Decidable Fragments of a Higher Order Calculus with Locations

Mikkel Bundgaard, Jens Christian Godskesen, Hans Huttel, Bjørn Haagensen

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftElectronical Notes in Theoretical Computer Science
    Sider (fra-til)113-138
    Antal sider15
    ISSN1571-0661
    DOI
    StatusUdgivet - 2009
    BegivenhedInternational Workshop on Expressiveness in Concurrency, (EXPRESS) - Toronto, Canada
    Varighed: 23 aug. 2008 → …
    Konferencens nummer: 15

    Workshop

    WorkshopInternational Workshop on Expressiveness in Concurrency, (EXPRESS)
    Nummer15
    Land/OmrådeCanada
    ByToronto
    Periode23/08/2008 → …

    Citationsformater