Quality of Communication-Based Systems Contributor(s): Hommel, Gunter (Editor), Hommel, Gunther (Editor) |
|
ISBN: 0792332598 ISBN-13: 9780792332596 Publisher: Kluwer Academic Publishers OUR PRICE: $113.99 Product Type: Hardcover - Other Formats Published: January 1995 |
Additional Information |
BISAC Categories: - Computers | Systems Architecture - Distributed Systems & Computing - Mathematics | Algebra - General - Computers | Software Development & Engineering - General |
Dewey: 004.35 |
LCCN: 94039301 |
Physical Information: 0.5" H x 6.14" W x 9.21" (1.03 lbs) 208 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This work presents the research results of students of the Graduiertenkolleg Communication-Based Systems to an international community. To stimulate the scientific discussion, experts have been 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 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; and language concepts for distributed systems. |