Communication-Based Systems: Proceeding of the 3rd International Workshop Held at the Tu Berlin, Germany, 31 March 1 April 2000
Available
 
About the Book
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.
Book Details
ISBN-13: 9780792361732
EAN: 9780792361732
Publisher Date: 29/02/2000
Dewey: 004.35
Height: 230 mm
Language: English
MediaMail: Y
PrintOnDemand: N
Series Title: English
Width: 154 mm
ISBN-10: 0792361733
Publisher: Springer
Binding: Hardcover
Edition: 2000
Illustration: Y
LCCN: 99086807
No of Pages: 196
Returnable: N
Spine Width: 13 mm