Foreword ICTCS 2010 special issueEugenio MoggiRAIRO-Theor. Inf. Appl., 46 2 (2012) 201DOI: https://doi.org/10.1051/ita/2012008