"concurrent systems" . . "concurrent systems" . .