Entwickelt man Programme durch schrittweisen Übergang von abstrakten zu konkreteren Formulierungen und damit durch allmähliche Ergänzung einer Spezifikation zu einem vollständigen Programm – einer effizienten Version eines Algorithmus, so stehen die einzelnen Glieder in der Kette der Entwicklung in bestimmten Relationen zueinander. Meistens sind sie im Sinn der mathematischen Semantik („funktional“) äquivalent. Die Definition der funktionalen Äquivalenz genügt im allgemeinen um die mathematische Semantik einer Programmiersprache zu charakterisieren.

Wie für die mathematische Semantik lassen sich auch Klassen von Kongruenzrelationen auf Programm(ausdrück)en definieren, die verschiedene Begriffe von „operativ äquivalent“ formal fassbar machen und bedeutend feiner sind, als die durch die mathematische Semantik erzeugte Kongruenzrelation. Die verschiedenen Versionen eines Programms in einer Programmentwicklung sind natürlich im allgemeinen operativ keineswegs äquivalent.

Eine zusätzliche Dimension erhält die Begriffswelt operativer Semantik, wenn auch parallel ablaufende Programm(teil)e betrachtet werden. In allgemeinen Programmsystemen mit parallel ablaufenden Teilen treten charakteristische Phänomene auf, die formale Aussagen über die operative und mathematische Semantik solcher Programme stark erschweren:

- Die Kommunikation zwischen parallel ablaufenden Prozessen bewirkt logische Abhängigkeiten zwischen Programmteilen, die in Aufschreibung (und Ablauf) stark von einander entfernt sind.
- Zusätzlich tritt Nichtdeterminismus als Abstraktion der nicht determinierten zeitlichen Verzahnung der Kommunikationsaktionen parallel ablaufender Prozesse auf.

Gerade hierbei lassen sich Kongruenzrelationen und definierende Transformationen erfolgreich für die Definition der Semantik einsetzen.

In vielen Ansätzen zur Behandlung von Parallelität in Programmiersprachen sind die obigen Phänomene zusätzlich überlagert durch Probleme der Synchronisation, die insbesondere einen breiten Raum einnehmen, wenn über „gemeinsame“ Programmvariable kommuniziert wird. Häufig werden dann zur Definition der Semantik quasiparallele Vorstellungen verwendet. Dabei werden gewisse „atomare“ Aktionen in beliebiger Weise gemischt. Dieses Zurückgehen auf eine Sequentialisierung kann jedoch nicht immer voll befriedigen, weil dadurch häufig weder eine ausreichende Begriffsbildung „echter“ Parallelität, noch eine von möglichen Implementierungen her angemessene Beschreibung erreicht wird. Andere Ansätze trennen parallele Programme völlig von üblichen Sprachelementen sequentieller Programmiersprachen.

Im Gegensatz dazu wird in dieser Arbeit ein Versuch unternommen, von einer im Prinzip funktionalen Programmiersprache ausgehend Sprachelemente für die parallele Programmierung herzuleiten und diese damit mit klassischen sequentiellen Sprachelementen zu integrieren.