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

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.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780792361732: Communication-Based Systems

Featured Edition

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