Carbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana  Proceedings 6th Interaction and Concurrency Experience, ICE 2013.    Electronic Proceedings in Theoretical Computer Science.       (2013)