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 }
Theorie der Programmierung | | XHTML 1.0 | Wed Nov 5 08:30:01 2008

