Issue
RAIRO-Theor. Inf. Appl.
Volume 39, Number 3, July-September 2005
Foundations of Software Science and Computer Structures (FOSSECAS'04)
Page(s) 587 - 618
DOI http://dx.doi.org/10.1051/ita:2005030
Published online 15 July 2005

© EDP Sciences, 2005