このページのリンク

<電子ブック>
Quality of Communication-Based Systems : Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 / edited by Günter Hommel

1st ed. 1995.
出版者 (Dordrecht : Springer Netherlands : Imprint: Springer)
出版年 1995
本文言語 英語
大きさ X, 195 p : online resource
著者標目 Hommel, Günter editor
SpringerLink (Online service)
件 名 LCSH:Algebra, Homological
LCSH:Mathematics
LCSH:Computer networks 
LCSH:System theory
LCSH:Control theory
LCSH:Microprocessors
LCSH:Computer architecture
LCSH:Compilers (Computer programs)
FREE:Category Theory, Homological Algebra
FREE:Mathematics
FREE:Computer Communication Networks
FREE:Systems Theory, Control
FREE:Processor Architectures
FREE:Compilers and Interpreters
一般注記 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
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
HTTP:URL=https://doi.org/10.1007/978-94-011-0187-5
目次/あらすじ

所蔵情報を非表示

電子ブック オンライン 電子ブック

Springer eBooks 9789401101875
電子リソース
EB00232027

書誌詳細を非表示

データ種別 電子ブック
分 類 LCC:QA169
DC23:512.6
書誌ID 4000111152
ISBN 9789401101875

 類似資料