Publication

1995 - Springer Netherlands, Dordrecht, Netherlands

Language

English

Word Count

52,000 words, Guess

Page Count

208 pages

Physical Format

[electronic resource] :

Identifiers

Classifications

  • LCCQA169

Alternate Titles

  • Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

Description

Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics Performance evaluation, dependability modelling 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

Links

Other Editions

  • Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994[electronic resource] :Springer Netherlands1995-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!