Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings

Authors

Publication date 2 September 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Copenhagen (Denmark)PAPM-PROBMIV 2002 Probabilistic methods Proceedings Process algebra Workshop

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

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]

Cited in

(1)

Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings

This page was built for publication: Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1613685)