union jack
Publikationen
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.

    @Book{ Reisig1984_spn,
    author = {Wolfgang Reisig},
    title = {{On the Semantics of Petri Nets.}},
    publisher = {Univ. Hamburg, Fachbereich Informatik, Bericht Nr. 100},
    year = 1984,
    month = sep 
    }
    

  • 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.

    @Proceedings{ Paredaens1984_icalp,
    title = {{Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings}},
    year = 1984,
    editor = {Jan Paredaens},
    volume = 172,
    series = {Lecture Notes in Computer Science},
    publisher = {Springer},
    booktitle = {{ICALP}},
    isbn = {3-540-13345-3} 
    }
    

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.

    @Article{ HerzogRV1984_is,
    author = {Otthein Herzog and Wolfgang Reisig and R{\"u}diger Valk},
    title = {{Petri-Netze: ein Abri{\ss} ihrer Grundlagen und Anwendungen.}},
    journal = {Informatik Spektrum},
    year = 1984,
    volume = 7,
    number = 1,
    pages = {20-27} 
    }
    

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.

    @InProceedings{ GoltzR1984_atpn,
    author = {Ursula Goltz and Wolfgang Reisig},
    title = {{CSP-programs with individual tokens.}},
    booktitle = {{European Workshop on Applications and Theory in Petri Nets}},
    year = 1984,
    pages = {169-196},
    crossref = {RozenbergHGR1985_atpn} 
    }
    

  • 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.

    @InProceedings{ Reisig1984_icalp,
    author = {Wolfgang Reisig},
    title = {{Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.}},
    booktitle = {{ICALP}},
    year = 1984,
    pages = {403-413},
    crossref = {Paredaens1984_icalp} 
    }
    

Technische Berichte

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

    @TechReport{ Reisig1984_tuh_tr30,
    author = {Wolfgang Reisig},
    title = {{What Operational Semantics is Adequate for Nonsequential Systems?}},
    institution = {Tech. Univ. of Helsinki, Digital Systems Laboratory, Research},
    year = 1984,
    type = {Research Report},
    number = 30 
    }
    

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

Theorie der Programmierung | Kontakt | XHTML 1.0 | Wed Nov 5 08:30:01 2008