Process algebra and probabilistic methods(过程代数与概率方法、性能建模与验证/会议录)

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.

在线阅读本书

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