Original language | English |
---|---|
Title of host publication | Proceedings 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII, Genova, Italy, May 23-27, 2006) |
Editors | S. Brookes, M. Mislove |
Pages | 219-236 |
DOIs | |
Publication status | Published - 2006 |
Publication series
Name | Electronic Notes in Theoretical Computer Science |
---|---|
Volume | 158 |
ISSN (Print) | 1571-0061 |