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