Publication

2000 - Springer Netherlands, Dordrecht, Netherlands

Language

English

Word Count

48,750 words, Guess

Page Count

195 pages

Physical Format

[electronic resource] :

Identifiers

Classifications

  • DDC512.6
  • LCCQA169

Alternate Titles

  • Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000

Description

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.

Subjects

Similar Books

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!