"Uber die "Aquivalenz von Programmen mit global g"ultigen Variablen und kommunizierenden sequentiellen Prozessen
Publisher: Gesellschaft f"ur Mathematik und Datenverarbeitung
Published: 1986
Place of publication: Sankt Augustin, W.-Germany
Language: ger
Number of pages: 81