union jack
Publikationen
HU-Logo
Institut für Informatik

Publikationen des Jahres 1984

Bücher und Konferenzbände

  • Wolfgang Reisig. On the Semantics of Petri Nets.. Univ. Hamburg, Fachbereich Informatik, Bericht Nr. 100, September 1984. BIBTEX

  • Jan Paredaens, editor. Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings, volume 172 of Lecture Notes in Computer Science, 1984. Springer. BIBTEX

Publikationen in Zeitschriften und Büchern

  • Otthein Herzog, Wolfgang Reisig, and Rüdiger Valk. Petri-Netze: ein Abriss ihrer Grundlagen und Anwendungen.. Informatik Spektrum, 7(1): 20-27, 1984. BIBTEX

Konferenzbeiträge und Beiträge auf Workshops

  • Ursula Goltz and Wolfgang Reisig. CSP-programs with individual tokens.. In Grzegorz Rozenberg, Hartmann J. Genrich, and Gérard Roucairol, editors, European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, pages 169-196, 1984. Springer. BIBTEX

  • Wolfgang Reisig. Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.. In Jan Paredaens, editor, ICALP, volume 172 of Lecture Notes in Computer Science, pages 403-413, 1984. Springer. BIBTEX

Technische Berichte

  • Wolfgang Reisig. What Operational Semantics is Adequate for Nonsequential Systems?. Research Report 30, Tech. Univ. of Helsinki, Digital Systems Laboratory, Research, 1984. BIBTEX

zurück zur Übersicht zurück zur Übersicht

Theorie der Programmierung | Kontakt | XHTML 1.0 | Fri Sep 11 16:30:32 2009