Articles liés à Communication-Based Systems: Proceeding of the 3rd...

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

 
9789048153992: Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000
Couverture souple
ISBN 10 : 9048153999 ISBN 13 : 9789048153992
Editeur : Springer, 2010

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2010
Langue
anglais
ISBN 10 
9048153999
ISBN 13 
9789048153992
Reliure
Broché
Nombre de pages
208
Éditeur
Hommel Günter
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne