A nominal relational model for local store

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	265
Pages (from-to)	403-421
Number of pages	19
ISSN	1571-0661
Publication status	Published - 2010
Event	26th Conference on Mathematics Foundations of Programming Semantics (MFPS) 2010 - Ottawa, Canada Duration: 6 May 2010 → 10 May 2010 Conference number: 26th http://aix1.uottawa.ca/~mwarren/MFPS/

Conference	26th Conference on Mathematics Foundations of Programming Semantics (MFPS) 2010
Number	26th
Country/Territory	Canada
City	Ottawa
Period	06/05/2010 → 10/05/2010
Internet address	http://aix1.uottawa.ca/~mwarren/MFPS/

Cite this

@article{d55533f7b9d74bf7be401a582f25e227,

title = "A nominal relational model for local store",

author = "M{\o}gelberg, {Rasmus Ejlers}",

year = "2010",

language = "English",

volume = "265",

pages = "403--421",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Pergamon Press",

note = "26th Conference on Mathematics Foundations of Programming Semantics (MFPS) 2010 ; Conference date: 06-05-2010 Through 10-05-2010",

url = "http://aix1.uottawa.ca/~mwarren/MFPS/",

}

TY - JOUR

T1 - A nominal relational model for local store

AU - Møgelberg, Rasmus Ejlers

N1 - Conference code: 26th

PY - 2010

Y1 - 2010

M3 - Journal article

SN - 1571-0661

VL - 265

SP - 403

EP - 421

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

T2 - 26th Conference on Mathematics Foundations of Programming Semantics (MFPS) 2010

Y2 - 6 May 2010 through 10 May 2010

ER -