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

© EDP Sciences, 2005