Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings - Holzer, Markus; Kutrib, Martin; Pighizzini, Giovanni (Springer Berlin Heidelberg : Imprint: Springer, 2011)