Title: "Uber die "Aquivalenz von Programmen mit global g"ultigen Variablen und kommunizierenden sequentiellen Prozessen