A nominal relational model for local store

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftElectronic Notes in Theoretical Computer Science
Vol/bind265
Sider (fra-til)403-421
Antal sider19
ISSN1571-0661
StatusUdgivet - 2010
Begivenhed26th Conference on Mathematics Foundations of Programming Semantics (MFPS) 2010 - Ottawa, Canada
Varighed: 6 maj 201010 maj 2010
Konferencens nummer: 26th
http://aix1.uottawa.ca/~mwarren/MFPS/

Konference

Konference26th Conference on Mathematics Foundations of Programming Semantics (MFPS) 2010
Nummer26th
Land/OmrådeCanada
ByOttawa
Periode06/05/201010/05/2010
Internetadresse

Citationsformater