School Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout) Bezüge im Wissensnetz Veranstaltungsort (1) GND Noordwijkerhout