Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and P...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2002.
|
| Έκδοση: | 1st ed. 2002. |
| Σειρά: | Lecture Notes in Computer Science,
2399 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Contributions
- Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs
- 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.
