Atlas home || Conferences | Abstracts | about Atlas
Host: Technical University of Berlin
Sponsor: Graduiertenkolleg "Kommunikationsbasierte Systeme"
Homepage: http://pdv.cs.tu-berlin.de/workshop/
Email: workshop@pdv.cs.tu-berlin.de
Organizers: Günter Hommel
Description:
Concurrent and distributed systems have gained increasing importance in numerous new application areas. We used to have
computer networks offering simple services such as remote login or electronic mail. Now we see distributed systems in areas
such as cooperative work, process control, automated manufacturing and parallel computing. Research and development for
such systems is of high economic relevance and is often pursued in cooperation among companies, universities and research
institutions.
The emphasis of the workshop is on communication and on quality. It is hoped that focusing on communication and on different communication paradigms leads to a deeper understanding of the structural aspects of distributed systems. This should prepare the ground for new contributions to quality, both through formal specification techniques, through quantitative modeling and through advanced design methodologies.
The research areas covered by the workshop are:
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 Software development and concepts for distributed applications Computer network architecture and management Language concepts for distributed systems
Mail Address:
Workshop Communication-Based Systems Technische Universität Berlin Fachgebiet Prozeßdatenverarbeitung und Robotik Franklinstr. 28/29, Sekr. FR 2-2 10587 Berlin, Germany
Date received: September 10, 1999
© 2008 Atlas Conferences Inc.