过程代数与概率方法、性能建模与验证Process algebra and probabilistic methods

分类: 图书,进口原版书,科学与技术 Science & Techology ,
作者: Holger Hermanns 著
出 版 社: 湖南文艺出版社
出版时间: 2002-12-1字数:版次: 1页数: 214印刷时间: 2002/12/01开本:印次:纸张: 胶版纸I S B N : 9783540439134包装: 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
内容简介
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002.The 10 revised full papers and four abstracts presented together with two invited contributions were carefully reviewed and selected from 19 submissions. Among the issues addressed are fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, concurrency, model checking, stochastic modeling, local area network protocols, stochastic process algebras, and Petri nets.
目录
Invited Contributions
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Oils
Probability and Timing: Challenges for Secure Programming
Selected Papers
Security Analysis of a Probabilistic Non-repudiation Protocol
The Mean Value of the Maximum
Reduction and Refinement Strategies for Probabilistic Analysis
Action Refinement for Probabilistic Processes with True Concurrency Models
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets
Possibilistic and Probabilistic Abstraction-Based Model Checking
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling
Model Checking CSL until Formulae with Random Time Bounds
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
Deriving Symbolic Representations from Stochastic Process Algebras
Short Abstracts
A Generalization of Equational Proof Theory?
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
Probabilistic Abstract Interpretation and Statistical Testing
Approximate Verification of Probabilistic Systems
Author Index