Carbone M, Lanese I, Silva A, Sokolova A.? 2012.??Proceedings Fifth Interaction and Concurrency Experience. ICE. 104