Conferences in DBLP

Process Algebra and Probabilistic Methods (papm)
2001 (conf/papm/2001)

1. Markus Siegle
   Advances in Model Representations. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:1-22 [Conf]
   
2. Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker
   Faster and Symbolic CTMC Model Checking. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:23-38 [Conf]
   
3. Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
   Reachability Analysis of Probabilistic Systems by Successive Refinements. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:39-56 [Conf]
   
4. Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen
   Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:57-70 [Conf]
   
5. Katia Folegati, Roberto Segala
   Coin Lemmas with Random Variables. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:71-86 [Conf]
   
6. Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
   MoDeST - A Modelling and Description Language for Stochastic Timed Systems. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:87-104 [Conf]
   
7. Lubos Brim, Ivana Cerná, Martin Necesal
   Randomization Helps in LTL Model Checking. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:105-119 [Conf]
   
8. Jane Hillston, Leïla Kloul
   An Efficient Kronecker Representation for PEPA Models. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:120-135 [Conf]
   
9. Marco Bernardo, Mario Bravetti
   Reward Based Congruences: Can We Aggregate More? [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:136-151 [Conf]
   
10. Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort
    Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:152-167 [Conf]
    
11. Mario Bravetti, Alessandro Aldini
    Expressing Processes with Different Action Durations through Probabilities. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:168-183 [Conf]
    
12. Peter Buchholz, Peter Kemper
    Quantifying the Dynamic Behavior of Process Algebras. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:184-199 [Conf]
    
13. Graham Clark, William H. Sanders
    Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:200-216 [Conf]