Faire Semantiken

Ausgangspunkt dieser Arbeit ist ein funktionentheoretischer Satz, der aussagt, daß -Mengen von Funktionen und Häufungspunkte in bestimmten metrischen Räumen äquivalent sind. Mit diesem Satz kann man für viele Modelle mit Interleaving--Semantik die Menge der fairen Rechnungen als Häufungspunkte darstellen. Im ersten Teil dieser Arbeit wird gezeigt, daß dies auch für eine große Klasse von Modellen mit True--Concurrency--Semantik gilt. Dieses Resultat wird anschließend angewendet. Für eine Sprache mit True--Concurrency--Semantik wird eine faire Semantik angegeben. Schließlich wird gezeigt, daß in vielen Fällen nicht nur die fairen Rechnungen, sondern auch die faire Semantik eine Darstellung als Häufungspunkte besitzt.