Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings - Diaz, Josep; Lanese, Ivan; Sangiorgi, Davide (Springer Berlin Heidelberg : Imprint: Springer, 2014)