zbMATH — the first resource for mathematics

Process algebra and probabilistic methods. Performance modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12–14, 2001. Proceedings. (English) Zbl 0971.00028
Lecture Notes in Computer Science. 2165. Berlin: Springer. xii, 217 p. (2001).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually.
Indexed articles:
Siegle, Markus, Advances in model representations, 1-22 [Zbl 1010.68524]
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David, Faster and symbolic CTMC model checking, 23-38 [Zbl 1007.68517]
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]
Infante López, Gabriel G.; Hermanns, Holger; Katoen, Joost-Pieter, Beyond memoryless distributions: model checking semi-Markov chains, 57-70 [Zbl 1007.68514]
Folegati, Katia; Segala, Roberto, Coin lemmas with random variables, 71-86 [Zbl 1007.68128]
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]
Brim, Luboš; Černá, Ivana; Nečesal, Martin, Randomization helps in LTL model checking, 105-119 [Zbl 1007.68519]
Hillston, Jane; Kloul, Leïla, An efficient Kronecker representation for PEPA models, 120-135 [Zbl 1007.68513]
Bernardo, Marco; Bravetti, Mario, Reward based congruences: Can we aggregate more?, 136-151 [Zbl 1007.68132]
Cloth, Lucia; Bohnenkamp, Henrik; Haverkort, Boudewijn, Using max-plus algebra for the evaluation of stochastic process algebra prefixes, 152-167 [Zbl 1007.68133]
Bravetti, Mario; Aldini, Alessandro, Expressing processes with different action durations through probabilities, 168-183 [Zbl 1007.68516]
Buchholz, Peter; Kemper, Peter, Quantifying the dynamic behavior of process algebras, 184-199 [Zbl 1007.68130]
Clark, Graham; Sanders, William H., Implementing a stochastic process algebra within the Möbius modeling framework, 200-215 [Zbl 1010.68526]
Reviewer: Reviewer (Berlin)

00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Qxx Theory of computing
Full Text: DOI