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

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0792361733 ISBN 13:  9780792361732
Verlag: Springer, 2000
Hardcover