Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings
type: Item
instance of: scholarly article
title: Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings
zbMATH Open document ID: 0993.00052
published in: Lecture Notes in Computer Science
publication date: 2002-09-02T00:00:00Z
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 sp…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1793914
zbMATH Keywords: Copenhagen (Denmark)
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: PAPM-PROBMIV 2002
zbMATH Keywords: Process algebra
zbMATH Keywords: Probabilistic methods
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1793914