Workshop Concurrency, Specification and Programming (2005 : Ruciane-Nida) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ruciane-Nida