Workshop Concurrency, Specification and Programming (2004 : Caputh) Bezüge im Wissensnetz Veranstaltungsort (1) GND Caputh