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...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
2399 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Process algebra and probabilistic methods, performance modeling and verification, second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, proceedings, Holger Hermanns, Roberto Segala, eds, Berlin, Springer, 2002, 1 vol. (X-214 p.), Lecture notes in computer science, 3-540-43913-7 • Process Algebra and Probabilistic Methods: Performance Modeling and Verification, Texte imprimé, 9783662195529 |
Sommario:
- 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.