Programmtransformtionen sind ein wichtiger Ansatz zur Entwicklung korrekter paralleler object-basierte Programme, zum Beispiel in der Programmiersprache $\pi o\beta\lambda$. Eine Übersetzung in den pi-Kalkül bietet eine formale Semantik für diese Sprache. Um die Korrektheit von Programmtransformationen zu beweisen, entwickelt die Arbeit darüberhinaus eine Theorie der Konfluenz für mobile Prozesse. Die Theorie wird angewandt auf eine Repräsentierung von Symboltabellen