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

出版时间：2002-12  出版社：1 edition (2002年8月1日)  作者：Holger Hermanns  页数：214  
Tag标签：无  

内容概要

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 ContributionsFailure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-OilsProbability and Timing: Challenges for Secure ProgrammingSelected PapersSecurity Analysis of a Probabilistic Non-repudiation ProtocolThe Mean Value of the MaximumReduction and Refinement Strategies for Probabilistic AnalysisAction Refinement for Probabilistic Processes with True Concurrency ModelsProbabilistic Unfoldings and Partial Order Fairness in Petri NetsPossibilistic and Probabilistic Abstraction-Based Model CheckingOut-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic ModellingModel Checking CSL until Formulae with Random Time BoundsProbabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network ProtocolDeriving Symbolic Representations from Stochastic Process AlgebrasShort AbstractsA Generalization of Equational Proof Theory?An Integrated Approach for the Specification and Analysis of Stochastic Real-Time SystemsProbabilistic Abstract Interpretation and Statistical TestingApproximate Verification of Probabilistic SystemsAuthor Index