• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the Tu Berlin, Germany, September 1994

Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the Tu Berlin, Germany, September 1994

Paperback

AlgebraGeneral ComputersProgramming

ISBN10: 9401040842
ISBN13: 9789401040846
Publisher: Springer
Published: Oct 14 2012
Pages: 195
Weight: 0.66
Height: 0.44 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Algebra