Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 papers)
-
Contributions to Quality from Specification Techniques
-
Contributions to Quality from Quantitative Modelling
-
Contributions to Quality from Distributed Systems Organization
Keywords
About this book
- 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.
Editors and Affiliations
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
DOI: https://doi.org/10.1007/978-94-011-0187-5
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 1995
Hardcover ISBN: 978-0-7923-3259-6Published: 31 January 1995
Softcover ISBN: 978-94-010-4084-6Published: 14 October 2012
eBook ISBN: 978-94-011-0187-5Published: 06 December 2012
Edition Number: 1
Number of Pages: X, 195
Topics: Category Theory, Homological Algebra, Mathematics, general, Computer Communication Networks, Systems Theory, Control, Processor Architectures, Programming Languages, Compilers, Interpreters