Workshop Concurrent Systems - Semantics, Specification, and Synthesis (1991 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern