6th Workshop on Fixed Points in Computer Science (FICS'09)
Issue
RAIRO-Theor. Inf. Appl.
Volume 47, Number 1, January-March 2013
6th Workshop on Fixed Points in Computer Science (FICS'09)
Page(s) 69 - 96
DOI http://dx.doi.org/10.1051/ita/2012029
Published online 10 January 2013

© EDP Sciences 2013