HUMBOLDT-UNIVERSITÄT
     ZU BERLIN

Concurrency, Specification and Programming
                CS&P'2014
                     Chemnitz
          September 29 - October 1, 2014


          edited by Louchka Popova-Zeugmann
                 Informatik-Bericht Nr. 245




          INFORMATIK-
            BERICHTE
Herausgeber:        Professoren des Institutes für Informatik
Redaktion:          Publikationsstelle, Tel. (+49 30) 2093 3114
Druckerei:          Humboldt-Universität zu Berlin
ISSN:               0863 - 095X

Die Reihe Informatik-Berichte erscheint aperiodisch.



PD Dr. Louchka Popova-Zeugmann
Institut für Informatik
Sitz: Rudower Chaussee 25
Humboldt-Universität zu Berlin
Unter den Linden 6
10099 Berlin

popova@informatik.hu-berlin.de


September 2014