Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science

David Clark, Sebastian Hunt, Pasquale Malacaria

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

Original language	English
Title of host publication	Unknown
Publisher	Unknown Publisher
Pages	149-166
Number of pages	18
Publication status	Published - 2005
Event	Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004) - Duration: 1 Jan 2005 → …

Conference	Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)
Period	1/01/2005 → …

Cite this

@inbook{1802dd1db92a47e18b3794b8edaa4e5a,

title = "Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science",

author = "David Clark and Sebastian Hunt and Pasquale Malacaria",

year = "2005",

language = "English",

pages = "149--166",

booktitle = "Unknown",

publisher = "Unknown Publisher",

note = "Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004) ; Conference date: 01-01-2005",

}

TY - CHAP

T1 - Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science

AU - Clark, David

AU - Hunt, Sebastian

AU - Malacaria, Pasquale

PY - 2005

Y1 - 2005

M3 - Conference paper

SP - 149

EP - 166

BT - Unknown

PB - Unknown Publisher

T2 - Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)

Y2 - 1 January 2005

ER -