Publikationen des Jahres 1993

Bücher und Konferenzbände

• Patrice Enjalbert, Alain Finkel, and Klaus W. Wagner, editors. STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, volume 665 of Lecture Notes in Computer Science, 1993. Springer.
  

  @Proceedings{ EnjalbertFW1993_stacs,
  title = {{STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, W{\"u}rzburg, Germany, February 25-27, 1993, Proceedings}},
  year = 1993,
  editor = {Patrice Enjalbert and Alain Finkel and Klaus W. Wagner},
  volume = 665,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  booktitle = {{STACS}},
  isbn = {3-540-56503-5} 
  }
  

Publikationen in Zeitschriften und Büchern

• Wolfgang Reisig. Spezifikation, Modellierung und Korrektheit von Informationssystemen. In G. Scheschonk and Wolfgang Reisig, editors, Petrinetze im Einsatz für Entwurf und Entwicklung von Informationssystemen. Springer, 1993.
  

  @InCollection{ Reisig1993_smkis,
  author = {Wolfgang Reisig},
  title = {{Spezifikation, Modellierung und Korrektheit von Informationssystemen}},
  editor = {G. Scheschonk and Wolfgang Reisig},
  booktitle = {{Petrinetze im Einsatz für Entwurf und Entwicklung von Informationssystemen}},
  publisher = {Springer},
  year = 1993 
  }
  

Konferenzbeiträge und Beiträge auf Workshops

• Jörg Desel and Wolfgang Reisig. The Synthesis Problem of Petri Nets.. In Patrice Enjalbert, Alain Finkel, and Klaus W. Wagner, editors, STACS, volume 665 of SFB-Bericht, pages 120-129, 1993. Springer.
  

  @InProceedings{ DeselR1993_stacs,
  author = {J{\"o}rg Desel and Wolfgang Reisig},
  title = {{The Synthesis Problem of Petri Nets.}},
  booktitle = {{STACS}},
  year = 1993,
  series = {SFB-Bericht},
  pages = {120-129},
  number = {342/20/92},
  crossref = {EnjalbertFW1993_stacs} 
  }
  

• Wolfgang Reisig. Formal methods for concurrent systems design: a survey. In W.K. Giloi, S. Jähnichen, and B.D. Shriver, editors, Programming Models for Massively Parallel Computers, 1993. Proceedings, pages 12-21, September 1993. IEEE.

  Abstract: Concurrency is frequently employed as a means to increase the performance of computing systems: a conventional sequential program is designed, to be parallelised later on. This contribution is intended to show that concurrent systems can also differ essentially from conventional, sequential systems, with respect to the kind of problems to be solved, and even to the principal limits of capability and performance. This paper surveys particular concepts and properties of concurrent systems, followed by a choice of models that more or less reflect those properties. Finally, the author discusses a typical example of an algorithm for concurrent systems.

  
  

  @InProceedings{ Reisig1993_pmmpc,
  author = {Wolfgang Reisig},
  title = {{Formal methods for concurrent systems design: a survey}},
  editor = {W.K. Giloi and S. Jähnichen and B.D. Shriver},
  booktitle = {{Programming Models for Massively Parallel Computers, 1993. Proceedings}},
  year = 1993,
  pages = {12-21},
  month = sep,
  publisher = {IEEE},
  isbn = {0-8186-4900-3},
  abstract = {Concurrency is frequently employed as a means to increase the performance of computing systems: a conventional sequential program is designed, to be parallelised later on. This contribution is intended to show that concurrent systems can also differ essentially from conventional, sequential systems, with respect to the kind of problems to be solved, and even to the principal limits of capability and performance. This paper surveys particular concepts and properties of concurrent systems, followed by a choice of models that more or less reflect those properties. Finally, the author discusses a typical example of an algorithm for concurrent systems.} 
  }
  

zurück zur Übersicht