Verónica Becher gives invited talk at DCM 2013, a satellite workshop of CONCUR 2013. Follow this link for more details.