About this ebook
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.
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 speci...
Discover more
Rate this ebook
Tell us what you think.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
