Quality of Communication-Based Systems

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

Editors: Hommel, Günter (Ed.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-94-011-0187-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-94-010-4084-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (13 chapters)

  • Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes

    Padberg, Julia

    Pages 1-17

  • Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs

    Pierantonio, Alfonso

    Pages 19-34

  • Specification of Concurrent Systems: from Petri Nets to Graph Grammars

    Corradini, A. (et al.)

    Pages 35-52

  • Towards a Theory of Strong Bisimulation for the Service Rendezvous

    Baldamus, Michael

    Pages 53-67

  • Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets

    Mainkar, Varsha (et al.)

    Pages 69-84

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-94-011-0187-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-94-010-4084-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Quality of Communication-Based Systems
Book Subtitle
Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Editors
  • Günter Hommel
Copyright
1995
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-94-011-0187-5
DOI
10.1007/978-94-011-0187-5
Softcover ISBN
978-94-010-4084-6
Edition Number
1
Number of Pages
X, 195
Topics