Process algebra and probabilistic methods. Performance modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12--14, 2001. Proceedings (Q5947954)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Siegle, Markus}, Advances in model representations, 1-22 [Zbl 1010.68524] \textit{Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David}, Faster and symbolic CTMC model checking, 23-38 [Zbl 1007.68517] \textit{D'Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.}, Reachability analysis of probabilistic systems by successive refinements, 39-56 [Zbl 1007.68131] \textit{Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter}, Beyond memoryless distributions: model checking semi-Markov chains, 57-70 [Zbl 1007.68514] \textit{Folegati, Katia; Segala, Roberto}, Coin lemmas with random variables, 71-86 [Zbl 1007.68128] \textit{D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric}, MoDeST --- a modelling and description language for stochastic timed systems, 87-104 [Zbl 1007.68518] \textit{Brim, Luboš; Černá, Ivana; Nečesal, Martin}, Randomization helps in LTL model checking, 105-119 [Zbl 1007.68519] \textit{Hillston, Jane; Kloul, Leïla}, An efficient Kronecker representation for PEPA models, 120-135 [Zbl 1007.68513] \textit{Bernardo, Marco; Bravetti, Mario}, Reward based congruences: Can we aggregate more?, 136-151 [Zbl 1007.68132] \textit{Cloth, Lucia; Bohnenkamp, Henrik; Haverkort, Boudewijn}, Using max-plus algebra for the evaluation of stochastic process algebra prefixes, 152-167 [Zbl 1007.68133] \textit{Bravetti, Mario; Aldini, Alessandro}, Expressing processes with different action durations through probabilities, 168-183 [Zbl 1007.68516] \textit{Buchholz, Peter; Kemper, Peter}, Quantifying the dynamic behavior of process algebras, 184-199 [Zbl 1007.68130] \textit{Clark, Graham; Sanders, William H.}, Implementing a stochastic process algebra within the Möbius modeling framework, 200-215 [Zbl 1010.68526]