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

© EDP Sciences 2012