Formal description techniques for distributed systems (Q4023311)

[The articles of this volume will not be indexed individually.] Table of contents: Toward the integration of formal description techniques with performance evaluation (\textit{E. Heck, B. Müller- Clostermann}), Generating parallel code from Estelle specifications (\textit{B. Hofmann, W. Effelsberg}), CDM -- korrekter Entwurf von Kommunikationssoftware (\textit{J. Freudenmann}), LOTOS design methodology based on ODP-viewpoints (\textit{A. Vogel}), An introduction to compositional methods for concurrency and their application to real-time (\textit{J. J. M. Hooman, W. P. de Roever}), Rapid prototyping von Estelle Spezifikationen (\textit{R. Födisch, H. König}, Formale Konzepte zur Lokalisierung von Funktionen in räumlich verteilten Systemen (\textit{R. Prinoth}), A simple toy example of a distributed system: Oh the design of a connecting switch (\textit{T. F. Gritzner}), Testfallgenerierung aus Petri-Netzen -- Probleme, Konzepte, Systeme (\textit{B. Baumgarten}), Die offene Petrinetz-Methode zur Analyse und Darstellung des funktionalen Verhaltens verteilter Systeme (\textit{H. Dibold}), Differences between Estelle and LOTOS descriptions of a protocol (\textit{J. Grobholz, R. L. Tenney}).