Issue
RAIRO-Theor. Inf. Appl.
Volume 46, Number 2, April-June 2012
12th Italian Conference on Theoretical Computer Science (ICTCS)
Page(s) 261 - 289
DOI http://dx.doi.org/10.1051/ita/2012003
Published online 27 February 2012

© EDP Sciences 2012