Nominal Games and Full Abstraction for the Nu-calculus

S Abramsky, Dan Ghica, AS Murawski, C-HL Ong, IDB Stark

Research output: Contribution to conference (unpublished) › Paper

51 Citations (Scopus)

Original language	English
Pages	150-159
Number of pages	10
Publication status	Published - 1 Jan 2004
Event	19th IEEE Symposium on Logic in Computer Science (LICS 2004) - Duration: 1 Jan 2004 → …

Conference	19th IEEE Symposium on Logic in Computer Science (LICS 2004)
Period	1/01/04 → …

Cite this

@conference{a12c062611dc4a3fb0df5f0c62de55b3,

title = "Nominal Games and Full Abstraction for the Nu-calculus",

author = "S Abramsky and Dan Ghica and AS Murawski and C-HL Ong and IDB Stark",

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "150--159",

note = "19th IEEE Symposium on Logic in Computer Science (LICS 2004) ; Conference date: 01-01-2004",

}