Infinite trace equivalence

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	195-209
Number of pages	15
Publication status	Published - 1 Jan 2005
Event	Games for Logic and Programming Languages (GALOP 2005), part of the ETAPS Conference - Duration: 1 Jan 2005 → …

Conference	Games for Logic and Programming Languages (GALOP 2005), part of the ETAPS Conference
Period	1/01/05 → …

Cite this

@conference{3e9ad5abf4a844e8ae7a9c368da98ad2,

title = "Infinite trace equivalence",

author = "Paul Levy and Dan Ghica and G McCusker",

year = "2005",

month = jan,

day = "1",

language = "English",

pages = "195--209",

note = "Games for Logic and Programming Languages (GALOP 2005), part of the ETAPS Conference ; Conference date: 01-01-2005",

}