Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 /
.
Bookmark this Record
Catalogue Record 47065
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 47065
.
Reviews
Catalogue Record 47065
.
British Library
Resolver for RSN-47065
Google Scholar
Resolver for RSN-47065
WorldCat
Resolver for RSN-47065
Catalogo Nazionale SBN
Resolver for RSN-47065
GoogleBooks
Resolver for RSN-47065
ICTP Library
Resolver for RSN-47065
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
512.6
Title
Quality of Communication-Based Systems ([EBook] :) : Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 / / edited by Günter Hommel.
Added Personal Name
Hommel, Günter
editor.
Other name(s)
SpringerLink (Online service)
Publication
Dordrecht : : Springer Netherlands : : Imprint: Springer, , 1995.
Physical Details
X, 195 p. : online resource.
ISBN
9789401101875
Summary Note
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.:
Contents note
Contributions to Quality from Specification Techniques -- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes -- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs -- Specification of Concurrent Systems: from Petri Nets to Graph Grammars -- Towards a Theory of Strong Bisimulation for the Service Rendezvous -- Contributions to Quality from Quantitative Modelling -- Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets -- Performance Modeling with Structured Actions -- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables -- Discrete Time Deterministic and Stochastic Petri Nets -- Contributions to Quality from Distributed Systems Organization -- Bauhaus Linda: An Overview -- Naming and Typing in Languages for Coordination in Open Distributed System -- An Efficient Implementation of Decoupled Communication in Distributed Environments -- Extending the Rôle of Object References in Distributed Systems -- On Protocols for Loss-less Statistical Multiplexing in Integrated Networks.
System details note
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site
http://dx.doi.org/10.1007/978-94-011-0187-5
Links to Related Works
Subject References:
Category Theory, Homological Algebra
.
Category theory (Mathematics)
.
Computer Communication Networks
.
Computer communication systems
.
Homological algebra
.
Mathematics
.
Mathematics, general
.
Microprocessors
.
Processor Architectures
.
Programming Languages, Compilers, Interpreters
.
Programming languages (Electronic computers)
.
System theory
.
Systems Theory, Control
.
Authors:
Hommel, Günter
.
Corporate Authors:
SpringerLink (Online service)
.
Classification:
512.6
.
.
ISBD Display
Catalogue Record 47065
.
Tag Display
Catalogue Record 47065
.
Related Works
Catalogue Record 47065
.
Marc XML
Catalogue Record 47065
.
Add Title to Basket
Catalogue Record 47065
.
Catalogue Information 47065
Beginning of record
.
Catalogue Information 47065
Top of page
.
Download Title
Catalogue Record 47065
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
47065
1
47065
-
2
47065
-
3
47065
-
4
47065
-
5
47065
-
Quick Search
Search for