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

 
9780792332596: Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the Tu Berlin, Germany, September 1994
Rilegato
ISBN 10: 0792332598 ISBN 13: 9780792332596
Casa editrice: Kluwer Academic Pub, 1995

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Contributions to Quality from Specification Techniques. Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes; J. Padberg. Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs; A. Pierantonio. Specification of Concurrent Systems: from Petri Nets to Graph Grammars; A. Corradini, U. Montanari. Towards a Theory of Strong Bisimulation for the Service Rendezvous; M. Baldamus. Contributions to Quality from Quantitative Modelling. Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets; V. Mainkar, K.S. Trivedi. Performance Modeling with Structured Actions; I. Schieferdecker. Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables; R. German. Discrete Time Deterministic and Stochastic Petri Nets; R. Zijal. Contributions to Quality from Distributed Systems Organization. Bauhaus Linda: an Overview; N. Carriero, D. Gelernter, L. Zuck. Naming and Typing in Languages for Coordination in Open Distributed Systems; R. Tolksdorf. An Efficient Implementation of Decoupled Communication in Distributed Environments; A. Polze. Extending the Role of Object References in Distributed Systems; P. Dickman. On Protocols for Loss-Less Statistical Multiplexing in Integrated Networks; M. Mateescu.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Kluwer Academic Pub
Data di pubblicazione
1995
Lingua
Inglese
ISBN 10 
0792332598
ISBN 13 
9780792332596
Rilegatura
Copertina rigida
Numero di pagine
195
Redattore
Hommel Gunter
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9789401040846: Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

Edizione in evidenza

ISBN 10:  9401040842 ISBN 13:  9789401040846
Casa editrice: Springer, 2012
Brossura