Zur Berechnung von Antwortzeiten symmetrischer Mehrprozessoranlagen bei prioritätsgesteuerter Abarbeitungsreihenfolge.