Publikationen des Jahres 1994

Bücher und Konferenzbände

• Wolfgang Reisig. Verteiltes Rechnen: Im wesentlichen das Herkömmliche oder etwas grundlegend Neues?, number Heft 27 of Öffentliche Vorlesungen. Humboldt-Universität zu Berlin, Unter den Linden 6, 10099 Berlin, Germany, 1994. Note: Antrittsvorlesung. Herausgegeben von Marlis Dürkop, Präsidentin der Humboldt-Universität zu Berlin.

Konferenzbeiträge und Beiträge auf Workshops

• Wolfgang Reisig. Correctness Proofs of Distributed Algorithms.. In Kenneth P. Birman, Friedemann Mattern, and André Schiper, editors, Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, pages 164-177, 1994. Springer.

• Wolfgang Reisig. Petri-Netze und ihre Anwendungen. In Integrierte Informationsverarbeitung in Büro, Produktion und Logistik, number 305 of VDI Reihe 10: Informatik / Kommunikationstechnik, Düsseldorf, 1994. FET Zentralstelle für Forschungs- und Entwicklungstransfer der Universität-GH Essen, VDI-Verlag.

Technische Berichte

• Wolfgang Reisig. Progress in Petrinets. Informatik-Berichte 34, Humboldt-Universität zu Berlin, 1994.

zurück zur Übersicht