Gegenstand der Arbeit ist zum einen eine Vertiefung des Verständnisses des Begriffs intensionaler Gleichheit im Bereich von Prozeßkalkülen, der komplementär zum Begriff der extensionalen Gleichheit ist, und zum zweiten die Definition einer denotationellen Semantik für Prozesse in Epsilon-Strukturen, die nicht wohlfundierte Mengen zur Modellierung von Selbstbezüglichkeit zulassen. Die intensionale Gleichheit erlaubt Prozesse aufgrund ihrer (syntaktischen) Definition zu unterscheiden, selbst wenn ihr beobachtbares Verhalten, d.h. ihre Extension, gleich ist. Dadurch kann z.B. erfolgreiches Terminieren von blockierendem Verhalten unterschieden werden. Intensionale Aspekte können durch zusätzliche Sortierung von Prozessen kodiert werden. Die operationelle Semantik von sortierten Prozessen wird dann durch sortierte LTS (Labelled Transition Systems) dargestellt. Die abstrakte denotationelle Semantik ist durch eine Interpretation von LTS in Epsilon-Strukturen definiert, die einerseits die Sortierung aufheben und andererseits rekursive Prozesse ohne zusätzliche topologische Konstruktionen modellieren können. Als exemplarische Anwendung wird die allgemeine Semantikdefinition von LTS in Epsilonstrukturen für dyadischen Interaktionskalkül nach Honda und Abramskys lazy Lambda-Theorie vorgestellt und dadurch in einen einheitlichen Rahmen gebracht.