Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings
The articles of mathematical interest will be reviewed individually. The preceding workshop (1st, 2001) has been reviewed (see Zbl 0971.00028). Indexed articles: \textit{Schiper, André}, Failure detection vs group membership in fault-tolerant distributed systems: Hidden trade-offs, 1-15 [Zbl 1065.68502] \textit{Sands, David}, Probability and timing: Challenges for secure programming (Invited talk), 16 [Zbl 1065.68507] \textit{Aldini, Alessandro; Gorrieri, Roberto}, Security analysis of a probabilistic non-repudiation protocol, 17-36 [Zbl 1065.68528] \textit{Bohnenkamp, Henrik; Haverkort, Boudewijn}, The mean value of the maximum, 37-56 [Zbl 1065.68589] \textit{D'Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.}, Reduction and refinement strategies for probabilistic analysis, 57-76 [Zbl 1065.68582] \textit{Fecher, Harald; Majster-Cederbaum, Mila; Wu, Jinzhao}, Action refinement for probabilistic processes with true concurrency models, 77-94 [Zbl 1065.68591] \textit{Haar, Stefan}, Probabilistic unfoldings and partial order fairness in Petri nets, 95-114 [Zbl 1065.68592] \textit{Huth, Michael}, Possibilistic and probabilistic abstraction-based model checking, 115-134 [Zbl 1065.68593] \textit{Kwiatkowska, Marta; Mehmood, Rashid}, Out-of-core solution of large linear systems of equations arising from stochastic modelling, 135-151 [Zbl 1065.68500] \textit{Kwiatkowska, Marta; Norman, Gethin; Pacheco, António}, Model checking CSL until formulae with random time bounds, 152-168 [Zbl 1065.68595] \textit{Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy}, Probabilistic model checking of the IEEE 802.11 wireless local area network protocol, 169-187 [Zbl 1065.68583] \textit{Kuntz, Matthias; Siegle, Markus}, Deriving symbolic representations from stochastic process algebras, 188-206 [Zbl 1065.68594] \textit{Bournez, Olivier}, A generalization of equational proof theory?, 207-208 [Zbl 1065.68576] \textit{Bravetti, Mario}, An integrated approach for the specification and analysis of stochastic real-time systems (short abstract), 209-210 [Zbl 1065.68581] \textit{Di Pierro, Alessandra; Wiklicky, Herbert}, Probabilistic abstract interpretation and statistical testing (extended abstract), 211-212 [Zbl 1065.68514] \textit{Lassaigne, Richard; Peyronnet, Sylvain}, Approximate verification of probabilistic systems, 213-214 [Zbl 1065.68584]
scientific article; zbMATH DE number 1793914