Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 - Tapa blanda

Reseña del editor

Since 1990 the German Research Society (Deutsche Forschungsgemeinschaft, DFG) has been funding PhD courses (Graduiertenkollegs) at selected universi­ ties in the Federal Republic of Germany. TU Berlin has been one of the first universities joining that new funding program of DFG. The PhD courses have been funded over aperiod of 9 years. The grant for the nine years sums up to approximately 5 million DM. Our Grnduiertenkolleg on Communication-based Systems has been assigned to the Computer Science Department of TU Berlin although it is a joined effort of all three universities in Berlin, Technische Uni­ versität (TU), Freie Universität (FU), and Humboldt Universität (HU). The Graduiertenkolleg has been started its program in October 1991. The professors responsible for the program are: Hartmut Ehrig (TU), Günter Hommel (TU), Stefan Jähnichen (TU), Peter Löhr (FU), Miroslaw Malek (RU), Peter Pep­ per (TU), Radu Popescu-Zeletin (TU), Herbert Weber (TU), and Adam Wolisz (TU). The Graduiertenkolleg is a PhD program for highly qualified persons in the field of computer science. Twenty scholarships have been granted to fellows of the Graduiertenkolleg for a maximal period of three years. During this time the fellows take part in a selected educational program and work on their PhD thesis.

Reseña del editor

This workshop on Communication-Based Systems is intended to present the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas:

• Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics;
• Performance evaluation, dependability modeling, and analysis of real-time systems with different kinds of timed Petri-Nets;
• Specification and analysis of communication protocols;
• Reliability, security, and dependability in distributed systems;
• Object orientation in distributed systems architecture;
• Software development and concepts for distributed applications;
• Computer network architecture and management;
• Language concepts for distributed systems.