A nominal relational model for local store

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume265
Pages (from-to)403-421
Number of pages19
ISSN1571-0661
Publication statusPublished - 2010
Event26th Conference on Mathematics Foundations of Programming Semantics (MFPS) 2010 - Ottawa, Canada
Duration: 6 May 201010 May 2010
Conference number: 26th
http://aix1.uottawa.ca/~mwarren/MFPS/

Conference

Conference26th Conference on Mathematics Foundations of Programming Semantics (MFPS) 2010
Number26th
Country/TerritoryCanada
CityOttawa
Period06/05/201010/05/2010
Internet address

Cite this