Lanese , Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana and Torres Vieira, Hugo
(edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014).
Electronic Proceedings in Theoretical Computer Science, 166.
ISSN 2075-2180
(2014)